Desarrollo · Servidor MCP local

Axiom - Advanced Math

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

Visitar el sitio web de Axiom - Advanced Math

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

RegistroPaqueteVersiónTransporteVariables de entorno
npmaxiom-math1.0.5stdioSin declarar

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)

Ver los 2 →
ServidorEjecuciónEndpoint o paquete
SSH - policy-gated remote accessPolicy-gated, audited SSH for Linux and Windows hosts: roles, approvals, and an audit log.Local · stdionpm: ssh-mcp

Más servidores de desarrollo

Ver los 5152 →
ServidorEjecuciónEndpoint o paquete
AWT (AI Watch Tester)AI-powered E2E testing MCP server. Detects and auto-fixes UI bugs via DevQA Loop and Vision AI.Local · stdioPyPI: aat-devqa
aXAgent-native collaboration network: orchestrate a team of long-running agents from any MCP client.Remoto · HTTPComprobación en directo: ✗ sin negociación inicialpaxai.app
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 inicialmcp.axint.ai
AXIOMTransactional write gate for coding agents: plan, canonical manifest, checks, two-phase apply.Local · stdionpm: @codai/axiom-mcp
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ónmcp.axiom.co
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ónuseaxis.dev
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 inicialaxis-api-6c7z.onrender.com
Axon NeuroAutomataProtein analysis: ESM-2/ESMC embeddings, mutation scoring, landscape scans, ESMFold structure.Remoto · HTTPComprobación en directo: requiere inicio de sesiónmcp.neuroautomata.axonagentic.ai