Sviluppo · Server MCP locale

Axiom - Advanced Math

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

Vai al sito web di Axiom - Advanced Math

Cosa indica il MCP Registry

La voce come pubblicata nel MCP Registry ufficiale (consultazione: 4 ottobre 2026), ultima versione.

Nome nel registro
io.github.tufantunc/axiom-math
Versione
1.0.5
Stato
Attivo
Categoria
sviluppo
Trasporto
stdio (processo locale)
Pacchetto
npm
Pubblicato
9 agosto 2026
Aggiornato
9 agosto 2026
Editore
tufantunc (GitHub) · 2 server con una pagina qui
Namespace
Namespace verificato dal MCP Registry tramite GitHub (github.com/tufantunc) · come funziona
Sito web
github.com/tufantunc/axiom-advanced-math-mcp
Repository
github.com/tufantunc/axiom-advanced-math-mcp
Fonte
Voce nell’API del registro

Pacchetti

RegistroPacchettoVersioneTrasportoVariabili d’ambiente
npmaxiom-math1.0.5stdioNessuna dichiarata

Come collegare Axiom - Advanced Math

Axiom - Advanced Math viene eseguito in locale a partire da un pacchetto Node.js pubblicato nel registro npm: axiom-math, versione 1.0.5. Comunica via MCP su stdio, quindi il client lo avvia come programma e dialoga con esso tramite standard input e standard output. Richiede Node.js; i client in genere lo avviano con npx - il comando abituale è npx -y axiom-math@1.0.5.

Nel formato JSON mcpServers, letto da molti client MCP desktop e per editor di codice, la voce si presenta così (segnaposto tra parentesi angolari):

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

Ricavato dalla voce del registro, non testato qui. Cosa fa il server, e a quali condizioni, lo stabilisce il suo editore; prima di concedergli l’accesso ai propri account o file conviene consultarne il repository o il sito web. Come aggiungere un server MCP a un assistente · Prima di collegare un server

Altri server di tufantunc (GitHub)

Tutti e 2 →
ServerEsecuzioneEndpoint o pacchetto
SSH - policy-gated remote accessPolicy-gated, audited SSH for Linux and Windows hosts: roles, approvals, and an audit log.Locale · stdionpm: ssh-mcp

Altri server della categoria sviluppo

Tutti e 5152 →
ServerEsecuzioneEndpoint o pacchetto
AWT (AI Watch Tester)AI-powered E2E testing MCP server. Detects and auto-fixes UI bugs via DevQA Loop and Vision AI.Locale · stdioPyPI: aat-devqa
aXAgent-native collaboration network: orchestrate a team of long-running agents from any MCP client.Remoto · HTTPVerifica live: ✗ nessun handshakepaxai.app
AxintProof and repair for Apple coding agents: validate Swift, run Xcode evidence, and repair failures.Remoto e locale · HTTP e stdioVerifica live: ✓ handshakemcp.axint.ai
AXIOMTransactional write gate for coding agents: plan, canonical manifest, checks, two-phase apply.Locale · stdionpm: @codai/axiom-mcp
axiom.coList datasets, schemas, run APL queries, and use prompts for exploration, anomalies, and monitoring.Remoto · SSE e HTTPVerifica live: accesso richiestomcp.axiom.co
AxisCoding agents from Claude Code, Cursor and Codex claim jobs and lock files on one shared board.Remoto e locale · HTTP e stdioVerifica live: accesso richiestouseaxis.dev
Axis Iliad - Codebase Intelligence For Agentic CommerceCodebase intelligence for agents: 152 structured artifacts across 21 programs, one call.Remoto · HTTPVerifica live: ✗ nessun handshakeaxis-api-6c7z.onrender.com
Axon NeuroAutomataProtein analysis: ESM-2/ESMC embeddings, mutation scoring, landscape scans, ESMFold structure.Remoto · HTTPVerifica live: accesso richiestomcp.neuroautomata.axonagentic.ai