Axiom — Advanced Math
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
Servidor MCP · de tufantunc
Resumen
Axiom — Advanced Math es un servidor MCP publicado por tufantunc. Marketplaces que leemos y que lo publican: 1 (Official MCP Registry). Lo vimos por primera vez el 2026-10-11 y desde entonces no hemos registrado cambios. Según nuestra pasada por los marketplaces del 2026-10-13.
Qué pide
- Se ejecuta en tu equipo
Ninguno de los marketplaces que leemos publica sus herramientas ni los ajustes que pide.
Lo que declara, pide y ejecuta, completo
Instale solo plugins de desarrolladores en los que confíe. Mostramos lo que publican los marketplaces y no probamos plugins.
Paquete
npm axiom-math (axiom-math en npm)
- Descargas de npm por semana: 55 (2026-10-12)
- Descargas de npm por mes: 284 (2026-10-12)
- Última versión en npm: 1.0.5, publicada el 2026-08-09
- La versión declarada 1.0.5 no figura en npm
Los datos de npm proceden del registro público de npm (registry.npmjs.org, api.npmjs.org). Cada cifra es del propio registro y nunca se suma a otra. Un registro que no publica una cifra no muestra ninguna: sin cifra no es cero.
Funciona con
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
Un enlace de un clic abre el cliente, que pide confirmación antes de añadir el servidor.
Según los marketplaces que lo listan y el transporte MCP que declara, tal como lo documenta cada cliente. No probamos plugins.
Conectar
Comandos y configuraciones generados solo a partir de lo que declaran sus marketplaces. No los ejecutamos por usted ni probamos plugins.
Como servidor MCP local: paquete npm
Generado a partir de lo que declara Official MCP Registry.
claude mcp add --transport stdio axiom-math -- npx -y axiom-math[mcp_servers.axiom-math]
command = "npx"
args = ["-y", "axiom-math"]{
"mcpServers": {
"axiom-math": {
"command": "npx",
"args": [
"-y",
"axiom-math"
]
}
}
}Dónde está publicado
| Marketplace | Estado | Versión | Cifras | Verificado | Visto por primera vez |
|---|---|---|---|---|---|
| Official MCP Registry (Abrir el registro) | Publicado | 1.0.5 | Descargas por mes (npm): 284 Descargas por semana (npm): 55 Forks (GitHub): 0 Estrellas (GitHub): 3 |
Sin marca |
Cada cifra es del propio marketplace y nunca se suma entre marketplaces. Un marketplace que no publica cifras no muestra ninguna: sin número no es cero.
Qué cambió
Nada ha cambiado en este plugin desde que lo seguimos.
Plugins similares
Productos cuyos propios nombres, descripciones, herramientas y skills son los más cercanos a este por su significado, en todos los marketplaces que leemos. La cercanía se ordena solo dentro de esta lista.
-
Exact arithmetic for AI agents. Two independent engines cross-check every result.
-
Math.js MCP — wraps the mathjs.org API (free, no auth)
-
sagemath-mcp-server io.github.justice8096/sagemath-mcp-server
MCP server wrapping SageMath's full computer algebra system — 10 symbolic-math tools for LLMs.
-
math-solver-ai-mcp io.github.CSOAI-ORG/math-solver-ai-mcp
Math Solver Ai MCP Server by MEOK AI Labs
-
Newton MCP — wraps the Newton math solver API (free, no auth)
-
calculator-mcp-server io.github.cyanheads/calculator-mcp-server
Evaluate, simplify, and differentiate mathematical expressions.
-
arithym xyz.arithym/arithym
Precision math engine for AI agents. 203 exact methods. Zero hallucination.
-
Scientific Math Calculator MCP
Safe scientific calculator MCP for numeric expressions
-
Connect your chat repl to wolfram alpha computational intelligence.
-
Executable mathematics and independent verification for AI agents.
Plugins similares por marketplace
La misma pregunta a cada marketplace por separado: ¿hay allí un equivalente de este plugin?
Publicado en Claude Code: claude-plugins-community (5)
-
Find the right NVIDIA skill for GPU acceleration, CUDA, AI agents, data loading, training, inference, robotics, Physical AI, Omniverse, simulation, and other NVIDIA-powered…
-
Principles and rules for writing faithful scientific code. Scientific code serves truth, not users. This plugin teaches Claude the fundamental differences between scientific and…
-
Autonomous experiment loop for Claude Code. Run an endless optimize-measure-keep/discard cycle on any optimization target: LLM training loss, test speed, bundle size, build time…
-
End-to-end data analysis workflow plugin for Claude Code. Covers the full pipeline from EDA to model training - EDA, preprocessing, statistical analysis, feature engineering, and…
-
A causal inference plugin for AI agents. Describe a problem in plain language and it helps you choose a method, check assumptions, write the analysis in R or Python, and…
Publicado en Claude Code: claude-plugins-official (5)
-
Two skills for hard mathematics problems, each ending in a self-contained proof.md: /math-proof:solo has the session work the problem itself in stages with a notes file…
-
Solve competition math (IMO, Putnam, USAMO) with adversarial verification that catches what self-verification misses. Fresh-context verifiers attack proofs with specific failure…
-
Find the right NVIDIA skill for GPU acceleration, CUDA, AI agents, data loading, training, inference, robotics, Physical AI, Omniverse, simulation, and other NVIDIA-powered…
-
AMD's verified Agent Skills in one plugin: route image/audio through local AI on Ryzen AI, serve LLMs on AMD Instinct GPUs with vLLM, optimize inference throughput with Hyperloom…
-
MCP server for terminal commands, file operations, and process management
Publicado en Claude: knowledge-work-plugins (5)
-
MCP server for terminal commands, file operations, and process management
-
Build multimodal AI applications with Pixeltable -- tables, computed columns, embedding search, UDFs, tool-calling agents, and 25+ AI provider integrations.
-
DataRobot skills for AI/ML workflows — model training, deployment, predictions, feature engineering, monitoring, explainability, data preparation, App Framework CI/CD, and…
-
Skills for working with Langfuse, the open-source LLM engineering platform for tracing, prompt management, and evaluation.
-
Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…
Publicado en Codex: openai-curated (openai/plugins) (5)
-
Skills for NVIDIAs ecosystem spans GPU acceleration, CUDA, AI agents, inference, robotics, Physical AI, Omniverse, and simulation. This plugin helps you understand the pieces…
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
-
Build with OpenAI APIs, Agents SDK, and ChatGPT Apps, and create and save OpenAI API keys from Codex.
-
Predict structures, screen molecules and proteins, and design binders.
-
Cloudflare platform plugin with curated skills for Workers, Wrangler, and Agents SDK plus the official Cloudflare API MCP server.
Publicado en Community GitHub marketplaces (5)
-
Shared session bus so Cursor can hand off with Claude, Codex, Grok, and friends.
-
MCP server for terminal commands, file operations, and process management
-
A sanctuary for AI agents and humans: attend a service, reflect, read, search, and ask. No auth.
-
inquisitor io.github.1111111111111111111114oLvT2/inquisitor
Hypothesis-driven problem solving for AI agents: probe, falsify, escalate.
-
Let any AI agent operate desktop apps on macOS, Windows and Linux, in the background and safely.
Publicado en Copilot CLI: github/awesome-copilot (5)
-
Visualizes live session AI-credit usage as a Pac-Man board with pellets, ghosts, fruit milestones, and game-over limits.
-
Run a lightweight, role-separated AI development team with flexible tools, developer-selected models, proportionate planning, and optional QA.
-
Task Researcher and Task Planner for intermediate to expert users and large codebases - Brought to you by microsoft/edge-ai
-
Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.
-
Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…
Publicado en Copilot CLI: github/copilot-plugins (5)
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
-
Build Power Apps Canvas Apps using the Canvas Authoring MCP server.
-
workiq
Query Microsoft 365 data with natural language — emails, meetings, documents, Teams messages, and more.
-
Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.
-
Advanced Security plugin for GitHub Copilot.
Publicado en Cursor: cursor/plugins (5)
-
Iterative self-referential AI loops using the Ralph Wiggum technique.
-
Incremental transcript-driven memory updates for AGENTS.md using high-signal bullet points only.
-
Build apps, scripts, and automations with the TypeScript SDK.
-
Fan large tasks out across parallel cloud agents with planners, workers, verifiers, and structured handoffs.
-
Search company knowledge and draft verified answers.
Publicado en Docker MCP Catalog (5)
-
Connect your chat repl to wolfram alpha computational intelligence.
-
Sequential Thinking (Reference)
Dynamic and reflective problem-solving through thought sequences.
-
Read and score Opik traces, experiments, datasets and prompts from your AI assistant.
-
Discover and connect to a curated marketplace of MCP servers for extending AI agent capabilities.
-
The Official Model Context Protocol (MCP) server for Kagi Search & other tools.
Publicado en Official MCP Registry (5)
-
Exact arithmetic for AI agents. Two independent engines cross-check every result.
-
Math.js MCP — wraps the mathjs.org API (free, no auth)
-
sagemath-mcp-server io.github.justice8096/sagemath-mcp-server
MCP server wrapping SageMath's full computer algebra system — 10 symbolic-math tools for LLMs.
-
math-solver-ai-mcp io.github.CSOAI-ORG/math-solver-ai-mcp
Math Solver Ai MCP Server by MEOK AI Labs
-
Newton MCP — wraps the Newton math solver API (free, no auth)
Encontrados por significado, no por código ni repositorio compartidos: los plugins similares siguen siendo productos distintos, y esto no es una reseña ni una recomendación.
¿Es tu plugin?
Añádelo a tus proyectos y demuestra que lo mantienes con un archivo en su repositorio, un archivo en tu dominio o un registro DNS. Recibirás avisos cuando un marketplace lo publique, lo retire, cambie su marca verificada o lo que pide, y su endpoint remoto quedará monitorizado como un servicio web.
Datos de Official MCP Registry. Las cifras proceden de nuestros propios recorridos periódicos por los marketplaces, leída por última vez el . No publicamos datos de contacto de los editores de plugins.