Entwicklung · Lokaler MCP-Server
Axiom - Advanced Math
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas.
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
| Registry | Paket | Version | Transport |
|---|---|---|---|
| npm | axiom-math | 1.0.5 | stdio |
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)
| Server | Ausführung |
|---|---|
| SSH - policy-gated remote accessPolicy-gated, audited SSH for Linux and Windows hosts: roles, approvals, and an audit log. | Lokal · stdio |
Weitere Server der Kategorie Entwicklung
| Server | Ausführung |
|---|---|
| AWT (AI Watch Tester)AI-powered E2E testing MCP server. Detects and auto-fixes UI bugs via DevQA Loop and Vision AI. | Lokal · stdio |
| aXAgent-native collaboration network: orchestrate a team of long-running agents from any MCP client. | Remote · HTTPLive-Prüfung: ✗ kein Handshake |
| AxintProof and repair for Apple coding agents: validate Swift, run Xcode evidence, and repair failures. | Remote und lokal · HTTP und stdioLive-Prüfung: ✓ Handshake |
| AXIOMTransactional write gate for coding agents: plan, canonical manifest, checks, two-phase apply. | Lokal · stdio |
| axiom.coList datasets, schemas, run APL queries, and use prompts for exploration, anomalies, and monitoring. | Remote · SSE und HTTPLive-Prüfung: Anmeldung erforderlich |
| 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 erforderlich |
| Axis Iliad - Codebase Intelligence For Agentic CommerceCodebase intelligence for agents: 152 structured artifacts across 21 programs, one call. | Remote · HTTPLive-Prüfung: ✗ kein Handshake |
| Axon NeuroAutomataProtein analysis: ESM-2/ESMC embeddings, mutation scoring, landscape scans, ESMFold structure. | Remote · HTTPLive-Prüfung: Anmeldung erforderlich |