Ontwikkeling · Lokale MCP-server
Axiom - Advanced Math
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas.
Wat de MCP Registry vermeldt
De vermelding zoals gepubliceerd in de officiële MCP Registry (geraadpleegd op 4 oktober 2026), nieuwste versie.
- Registernaam
io.github.tufantunc/axiom-math- Versie
- 1.0.5
- Status
- Actief
- Categorie
- ontwikkeling
- Transport
- stdio (lokaal proces)
- Pakket
- npm
- Gepubliceerd
- 9 augustus 2026
- Bijgewerkt
- 9 augustus 2026
- Uitgever
- tufantunc (GitHub) · 2 servers met een pagina hier
- Namespace
- Namespace door de MCP Registry geverifieerd via GitHub (github.com/tufantunc) · hoe
- Website
- github.com/tufantunc/axiom-advanced-math-mcp
- Repository
- github.com/tufantunc/axiom-advanced-math-mcp
- Bron
- Vermelding in de register-API
Pakketten
| Register | Pakket | Versie | Transport |
|---|---|---|---|
| npm | axiom-math | 1.0.5 | stdio |
Zo verbind je Axiom - Advanced Math
Axiom - Advanced Math draait lokaal vanuit een Node.js-pakket dat in het npm-register is gepubliceerd: axiom-math, versie 1.0.5. Hij spreekt MCP via stdio, dus de client start hem als programma en communiceert ermee via standaardinvoer en -uitvoer. Hij vereist Node.js; clients starten het meestal met npx - het gebruikelijke commando is npx -y axiom-math@1.0.5.
In het JSON-formaat mcpServers, dat veel MCP-clients voor desktop en code-editors lezen, ziet de vermelding er zo uit (tijdelijke aanduidingen tussen punthaken):
{
"mcpServers": {
"axiom-math": {
"command": "npx",
"args": [
"-y",
"axiom-math@1.0.5"
]
}
}
}Afgeleid van de registervermelding, hier niet getest. Wat de server doet en onder welke voorwaarden, bepaalt de uitgever; bekijk de repository of website voordat je de server toegang geeft tot je accounts of bestanden. Een MCP-server aan een assistent toevoegen · Voordat je verbinding maakt
Meer van tufantunc (GitHub)
| Server | Draait |
|---|---|
| SSH - policy-gated remote accessPolicy-gated, audited SSH for Linux and Windows hosts: roles, approvals, and an audit log. | Lokaal · stdio |
Meer servers in de categorie ontwikkeling
| Server | Draait |
|---|---|
| AWT (AI Watch Tester)AI-powered E2E testing MCP server. Detects and auto-fixes UI bugs via DevQA Loop and Vision AI. | Lokaal · stdio |
| aXAgent-native collaboration network: orchestrate a team of long-running agents from any MCP client. | Extern · HTTPLivecontrole: ✗ geen handshake |
| AxintProof and repair for Apple coding agents: validate Swift, run Xcode evidence, and repair failures. | Extern en lokaal · HTTP en stdioLivecontrole: ✓ handshake |
| AXIOMTransactional write gate for coding agents: plan, canonical manifest, checks, two-phase apply. | Lokaal · stdio |
| axiom.coList datasets, schemas, run APL queries, and use prompts for exploration, anomalies, and monitoring. | Extern · SSE en HTTPLivecontrole: inloggen vereist |
| AxisCoding agents from Claude Code, Cursor and Codex claim jobs and lock files on one shared board. | Extern en lokaal · HTTP en stdioLivecontrole: inloggen vereist |
| Axis Iliad - Codebase Intelligence For Agentic CommerceCodebase intelligence for agents: 152 structured artifacts across 21 programs, one call. | Extern · HTTPLivecontrole: ✗ geen handshake |
| Axon NeuroAutomataProtein analysis: ESM-2/ESMC embeddings, mutation scoring, landscape scans, ESMFold structure. | Extern · HTTPLivecontrole: inloggen vereist |