Desarrollo · Servidor MCP local
Axiom - Advanced Math
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas.
Lo que indica el MCP Registry
La entrada tal como está publicada en el MCP Registry oficial (consultada el 4 de octubre de 2026), última versión.
- Nombre en el registro
io.github.tufantunc/axiom-math- Versión
- 1.0.5
- Estado
- Activo
- Categoría
- desarrollo
- Transporte
- stdio (proceso local)
- Paquete
- npm
- Publicado
- 9 de agosto de 2026
- Actualizado
- 9 de agosto de 2026
- Editor
- tufantunc (GitHub) · 2 servidores con página aquí
- Espacio de nombres
- Espacio de nombres verificado por el MCP Registry mediante GitHub (github.com/tufantunc) · cómo
- Sitio web
- github.com/tufantunc/axiom-advanced-math-mcp
- Repositorio
- github.com/tufantunc/axiom-advanced-math-mcp
- Fuente
- Entrada en la API del registro
Paquetes
| Registro | Paquete | Versión | Transporte |
|---|---|---|---|
| npm | axiom-math | 1.0.5 | stdio |
Cómo conectar Axiom - Advanced Math
Axiom - Advanced Math se ejecuta en local a partir de un paquete de Node.js publicado en el registro npm: axiom-math, versión 1.0.5. Usa MCP mediante stdio, así que el cliente lo inicia como programa y se comunica con él a través de la entrada y salida estándar. Necesita Node.js; los clientes suelen iniciarlo con npx - el comando habitual es npx -y axiom-math@1.0.5.
En el formato JSON mcpServers que leen muchos clientes MCP de escritorio y de editores de código, la entrada tiene este aspecto (marcadores de posición entre corchetes angulares):
{
"mcpServers": {
"axiom-math": {
"command": "npx",
"args": [
"-y",
"axiom-math@1.0.5"
]
}
}
}Obtenido de la entrada del registro, sin probar aquí. Lo que hace el servidor, y en qué condiciones, lo determina su editor; conviene revisar su repositorio o sitio web antes de darle acceso a cuentas o archivos propios. Cómo añadir un servidor MCP a un asistente · Antes de conectar
Más de tufantunc (GitHub)
| Servidor | Ejecución |
|---|---|
| SSH - policy-gated remote accessPolicy-gated, audited SSH for Linux and Windows hosts: roles, approvals, and an audit log. | Local · stdio |
Más servidores de desarrollo
| Servidor | Ejecución |
|---|---|
| AWT (AI Watch Tester)AI-powered E2E testing MCP server. Detects and auto-fixes UI bugs via DevQA Loop and Vision AI. | Local · stdio |
| aXAgent-native collaboration network: orchestrate a team of long-running agents from any MCP client. | Remoto · HTTPComprobación en directo: ✗ sin negociación inicial |
| AxintProof and repair for Apple coding agents: validate Swift, run Xcode evidence, and repair failures. | Remoto y local · HTTP y stdioComprobación en directo: ✓ negociación inicial |
| AXIOMTransactional write gate for coding agents: plan, canonical manifest, checks, two-phase apply. | Local · stdio |
| axiom.coList datasets, schemas, run APL queries, and use prompts for exploration, anomalies, and monitoring. | Remoto · SSE y HTTPComprobación en directo: requiere inicio de sesión |
| AxisCoding agents from Claude Code, Cursor and Codex claim jobs and lock files on one shared board. | Remoto y local · HTTP y stdioComprobación en directo: requiere inicio de sesión |
| Axis Iliad - Codebase Intelligence For Agentic CommerceCodebase intelligence for agents: 152 structured artifacts across 21 programs, one call. | Remoto · HTTPComprobación en directo: ✗ sin negociación inicial |
| Axon NeuroAutomataProtein analysis: ESM-2/ESMC embeddings, mutation scoring, landscape scans, ESMFold structure. | Remoto · HTTPComprobación en directo: requiere inicio de sesión |