Sviluppo · Server MCP locale
Axiom - Advanced Math
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas.
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
| Registro | Pacchetto | Versione | Trasporto |
|---|---|---|---|
| npm | axiom-math | 1.0.5 | stdio |
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)
| Server | Esecuzione |
|---|---|
| SSH - policy-gated remote accessPolicy-gated, audited SSH for Linux and Windows hosts: roles, approvals, and an audit log. | Locale · stdio |
Altri server della categoria sviluppo
| Server | Esecuzione |
|---|---|
| AWT (AI Watch Tester)AI-powered E2E testing MCP server. Detects and auto-fixes UI bugs via DevQA Loop and Vision AI. | Locale · stdio |
| aXAgent-native collaboration network: orchestrate a team of long-running agents from any MCP client. | Remoto · HTTPVerifica live: ✗ nessun handshake |
| AxintProof and repair for Apple coding agents: validate Swift, run Xcode evidence, and repair failures. | Remoto e locale · HTTP e stdioVerifica live: ✓ handshake |
| AXIOMTransactional write gate for coding agents: plan, canonical manifest, checks, two-phase apply. | Locale · stdio |
| axiom.coList datasets, schemas, run APL queries, and use prompts for exploration, anomalies, and monitoring. | Remoto · SSE e HTTPVerifica live: accesso richiesto |
| 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 richiesto |
| Axis Iliad - Codebase Intelligence For Agentic CommerceCodebase intelligence for agents: 152 structured artifacts across 21 programs, one call. | Remoto · HTTPVerifica live: ✗ nessun handshake |
| Axon NeuroAutomataProtein analysis: ESM-2/ESMC embeddings, mutation scoring, landscape scans, ESMFold structure. | Remoto · HTTPVerifica live: accesso richiesto |