Sviluppo · Server MCP locale
AXIOM
Transactional write gate for coding agents: plan, canonical manifest, checks, two-phase apply.
Cosa indica il MCP Registry
La voce come pubblicata nel MCP Registry ufficiale (consultazione: 4 ottobre 2026), ultima versione.
- Nome nel registro
io.github.dragoscv/axiom- Versione
- 2.4.0
- Stato
- Attivo
- Categoria
- sviluppo
- Trasporto
- stdio (processo locale)
- Pacchetto
- npm
- Pubblicato
- 27 settembre 2026
- Aggiornato
- 27 settembre 2026
- Editore
- dragoscv (GitHub)
- Namespace
- Namespace verificato dal MCP Registry tramite GitHub (github.com/dragoscv) · come funziona
- Sito web
- dragoscv.github.io/axiom/
- Repository
- github.com/dragoscv/axiom (cartella packages/mcp)
- Fonte
- Voce nell’API del registro
Pacchetti
| Registro | Pacchetto | Versione | Trasporto |
|---|---|---|---|
| npmruntime: npx | @codai/axiom-mcp | 2.4.0 | stdio |
Come collegare AXIOM
AXIOM viene eseguito in locale a partire da un pacchetto Node.js pubblicato nel registro npm: @codai/axiom-mcp, versione 2.4.0. 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 @codai/axiom-mcp@2.4.0. Legge la variabile d’ambiente AXIOM_SIGNING_KEY (segreto); va impostata nella configurazione del client per questo server. Argomenti obbligatori: --root.
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": {
"command": "npx",
"args": [
"-y",
"@codai/axiom-mcp@2.4.0"
],
"env": {
"AXIOM_SIGNING_KEY": "<segreto>"
}
}
}
}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 della categoria sviluppo
| Server | Esecuzione |
|---|---|
| AWS MCP ServerA managed MCP server enabling AI agents to access AWS using docs, API calls, and SOP workflows. | Locale · stdio |
| 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 |
| Axiom - Advanced MathExact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas. | 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 |