Entwicklung · Lokaler MCP-Server

Axiom - Advanced Math

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

Zur Website von Axiom - Advanced Math

Was die MCP Registry angibt

Der Eintrag, wie er in der offiziellen MCP Registry veröffentlicht ist (Stand: 4. Oktober 2026), neueste Version.

Registry-Name
io.github.tufantunc/axiom-math
Version
1.0.5
Status
Aktiv
Kategorie
Entwicklung
Transport
stdio (lokaler Prozess)
Paket
npm
Veröffentlicht
9. August 2026
Aktualisiert
9. August 2026
Herausgeber
tufantunc (GitHub) · 2 Server mit eigener Seite hier
Namensraum
Namensraum von der MCP Registry über GitHub verifiziert (github.com/tufantunc) · So wird verifiziert
Website
github.com/tufantunc/axiom-advanced-math-mcp
Repository
github.com/tufantunc/axiom-advanced-math-mcp
Quelle
Eintrag in der Registry-API

Pakete

RegistryPaketVersionTransportUmgebungsvariablen
npmaxiom-math1.0.5stdioKeine deklariert

So verbinden Sie Axiom - Advanced Math

Axiom - Advanced Math wird lokal ausgeführt, und zwar aus einem in der npm-Registry veröffentlichten Node.js-Paket: axiom-math, Version 1.0.5. Der Server spricht MCP über stdio: Der Client startet ihn als Programm und kommuniziert mit ihm über Standardein- und -ausgabe. Benötigt wird Node.js; Clients starten das Paket meist mit npx - der übliche Befehl lautet npx -y axiom-math@1.0.5.

Im JSON-Format mcpServers, das viele MCP-Clients für Desktop und Editor lesen, sieht der Eintrag so aus (Platzhalter in spitzen Klammern):

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

Abgeleitet aus dem Registry-Eintrag, hier nicht getestet. Was der Server tut und zu welchen Bedingungen, legt sein Herausgeber fest; prüfen Sie sein Repository oder seine Website, bevor Sie ihm Zugriff auf Ihre Konten oder Dateien geben. So fügen Sie einem Assistenten einen MCP-Server hinzu · Vor dem Verbinden

Mehr von tufantunc (GitHub)

Alle 2 →
ServerAusführungEndpunkt oder Paket
SSH - policy-gated remote accessPolicy-gated, audited SSH for Linux and Windows hosts: roles, approvals, and an audit log.Lokal · stdionpm: ssh-mcp

Weitere Server der Kategorie Entwicklung

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