Ontwikkeling · Lokale MCP-server

Axiom - Advanced Math

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

Naar de website van Axiom - Advanced Math

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

RegisterPakketVersieTransportOmgevingsvariabelen
npmaxiom-math1.0.5stdioNiets opgegeven

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)

Alle 2 →
ServerDraaitEndpoint of pakket
SSH - policy-gated remote accessPolicy-gated, audited SSH for Linux and Windows hosts: roles, approvals, and an audit log.Lokaal · stdionpm: ssh-mcp

Meer servers in de categorie ontwikkeling

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