Développement · Serveur MCP local

Axiom - Advanced Math

Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas.

Visiter le site de Axiom - Advanced Math

Ce qu’indique le MCP Registry

L’entrée telle que publiée dans le MCP Registry officiel (consultée le 4 octobre 2026), dernière version.

Nom dans le registre
io.github.tufantunc/axiom-math
Version
1.0.5
Statut
Actif
Catégorie
développement
Transport
stdio (processus local)
Paquet
npm
Publié
9 août 2026
Mis à jour
9 août 2026
Éditeur
tufantunc (GitHub) · 2 serveurs avec une page ici
Espace de noms
Espace de noms vérifié par le MCP Registry via GitHub (github.com/tufantunc) · comment
Site web
github.com/tufantunc/axiom-advanced-math-mcp
Dépôt
github.com/tufantunc/axiom-advanced-math-mcp
Source
Entrée dans l’API du registre

Paquets

RegistrePaquetVersionTransportVariables d’environnement
npmaxiom-math1.0.5stdioAucune déclarée

Comment connecter Axiom - Advanced Math

Axiom - Advanced Math s’exécute en local depuis un paquet Node.js publié sur le registre npm : axiom-math, version 1.0.5. Il communique en MCP via stdio : le client le lance comme un programme et échange avec lui par l’entrée et la sortie standard. Il nécessite Node.js ; les clients le lancent généralement avec npx - la commande habituelle est npx -y axiom-math@1.0.5.

Au format JSON mcpServers, que lisent de nombreux clients MCP de bureau et éditeurs de code, l’entrée se présente ainsi (espaces réservés entre chevrons) :

{
  "mcpServers": {
    "axiom-math": {
      "command": "npx",
      "args": [
        "-y",
        "axiom-math@1.0.5"
      ]
    }
  }
}

Déduit de l’entrée du registre, non testé ici. Ce que fait le serveur, et à quelles conditions, relève de son éditeur ; consultez son dépôt ou son site web avant de lui donner accès à vos comptes ou à vos fichiers. Comment ajouter un serveur MCP à un assistant · Avant de connecter un serveur

Du même éditeur : tufantunc (GitHub)

Voir les 2 →
ServeurExécutionPoint de terminaison ou paquet
SSH - policy-gated remote accessPolicy-gated, audited SSH for Linux and Windows hosts: roles, approvals, and an audit log.Local · stdionpm : ssh-mcp

Autres serveurs : développement

Voir les 5 152 →
ServeurExécutionPoint de terminaison ou paquet
AWT (AI Watch Tester)AI-powered E2E testing MCP server. Detects and auto-fixes UI bugs via DevQA Loop and Vision AI.Local · stdioPyPI : aat-devqa
aXAgent-native collaboration network: orchestrate a team of long-running agents from any MCP client.Distant · HTTPVérification en direct : ✗ pas de poignée de mainpaxai.app
AxintProof and repair for Apple coding agents: validate Swift, run Xcode evidence, and repair failures.Distant et local · HTTP et stdioVérification en direct : ✓ poignée de mainmcp.axint.ai
AXIOMTransactional write gate for coding agents: plan, canonical manifest, checks, two-phase apply.Local · stdionpm : @codai/axiom-mcp
axiom.coList datasets, schemas, run APL queries, and use prompts for exploration, anomalies, and monitoring.Distant · SSE et HTTPVérification en direct : connexion requisemcp.axiom.co
AxisCoding agents from Claude Code, Cursor and Codex claim jobs and lock files on one shared board.Distant et local · HTTP et stdioVérification en direct : connexion requiseuseaxis.dev
Axis Iliad - Codebase Intelligence For Agentic CommerceCodebase intelligence for agents: 152 structured artifacts across 21 programs, one call.Distant · HTTPVérification en direct : ✗ pas de poignée de mainaxis-api-6c7z.onrender.com
Axon NeuroAutomataProtein analysis: ESM-2/ESMC embeddings, mutation scoring, landscape scans, ESMFold structure.Distant · HTTPVérification en direct : connexion requisemcp.neuroautomata.axonagentic.ai