io.github.justice8096/sagemath-mcp-server
MCP server wrapping SageMath's full computer algebra system — 10 symbolic-math tools for LLMs.
Servidor MCP · de justice8096
Resumo
io.github.justice8096/sagemath-mcp-server é um servidor MCP publicado por justice8096. Marketplaces que lemos e que o listam: 1 (Official MCP Registry). Vimos pela primeira vez em 2026-10-11 e não registramos mudanças desde então. Conforme nossa passagem pelos marketplaces em 2026-10-16.
O que pede
- Roda na sua máquina
- Segredos: 1
- Configurações: 5
Exige: API_KEY (secreta)
O que declara, pede e executa, por completo
Instale apenas plugins de desenvolvedores em quem você confia. Mostramos o que os marketplaces publicam e não testamos plugins.
Pacote
npm @justice8096/sagemath-mcp-server (@justice8096/sagemath-mcp-server no npm)
- Downloads do npm por semana: 57 (2026-10-12)
- Downloads do npm por mês: 332 (2026-10-12)
- Última versão no npm: 1.0.1, publicada em 2026-05-18
- A versão declarada 1.0.1 não consta no npm
Os dados do npm vêm do registro público do npm (registry.npmjs.org, api.npmjs.org). Cada número é do próprio registro e nunca é somado a outro. Um registro que não publica um número não mostra nenhum: sem número não é zero.
Funciona com
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
Pelos marketplaces que o listam e pelo transporte MCP que declara, conforme cada cliente documenta. Não testamos plugins.
Conectar
Comandos e configurações gerados apenas a partir do que os marketplaces declaram. Não os executamos por você e não testamos plugins.
Como servidor MCP local: pacote npm
Gerado a partir do que Official MCP Registry declara.
claude mcp add --env "API_KEY=<YOUR_API_KEY>" --transport stdio sagemath-mcp-server -- npx -y @justice8096/sagemath-mcp-server[mcp_servers.sagemath-mcp-server]
command = "npx"
args = ["-y", "@justice8096/sagemath-mcp-server"]
[mcp_servers.sagemath-mcp-server.env]
API_KEY = "<YOUR_API_KEY>"{
"mcpServers": {
"sagemath-mcp-server": {
"command": "npx",
"args": [
"-y",
"@justice8096/sagemath-mcp-server"
],
"env": {
"API_KEY": "<YOUR_API_KEY>"
}
}
}
}Substitua os valores entre sinais de menor e maior pelos seus. Mostramos os nomes das configurações, nunca valores.
Configurações opcionais que também indica: PORT, SAGE_DOCKER_IMAGE, SAGE_TIMEOUT, TRANSPORT.
Onde está publicado
| Marketplace | Status | Versão | Números | Verificado | Visto pela primeira vez |
|---|---|---|---|---|---|
| Official MCP Registry (Abrir o registro) | Listado | 1.0.1 | Downloads por mês (npm): 332 Downloads por semana (npm): 57 Forks (GitHub): 0 Estrelas (GitHub): 1 |
Sem marcação |
Cada número é do próprio marketplace e nunca é somado entre marketplaces. Um marketplace que não publica números não mostra nenhum: sem número não é zero.
O que mudou
Nada mudou neste plugin desde que começamos a acompanhá-lo.
Plugins semelhantes
Produtos cujos próprios nomes, descrições, ferramentas e skills são os mais próximos deste pelo significado, em todos os marketplaces que lemos. A proximidade é ordenada apenas dentro desta lista.
-
Stateful SageMath MCP server with 40 tools and a sandboxed Sage session per client.
-
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
-
calculator-mcp-server io.github.cyanheads/calculator-mcp-server
Evaluate, simplify, and differentiate mathematical expressions.
-
math-solver-ai-mcp io.github.CSOAI-ORG/math-solver-ai-mcp
Math Solver Ai MCP Server by MEOK AI Labs
-
math-mcp io.github.andylbrummer/math-mcp
GPU-accelerated MCP server: symbolic algebra, numerical computing, FFT, optimization, linear algebra
-
mcp-sympy io.github.daedalus/mcp-sympy
MCP server that exposes SymPy's symbolic mathematics functionality
-
Math.js MCP — wraps the mathjs.org API (free, no auth)
-
mcp com.wolfram/mcp
Integrates Wolfram Language and Wolfram|Alpha accessing curated data and sophisticated algorithms.
-
Exact arithmetic for AI agents. Two independent engines cross-check every result.
-
polymath-megablaster-mcp io.github.headlessherm-creator/polymath-megablaster-mcp
Local deterministic calc MCP: exact math, dates, unit conversion, stats, subnet math.
Plugins semelhantes por marketplace
A mesma pergunta feita a cada marketplace separadamente: existe lá um equivalente deste plugin?
Listado em Claude Code: claude-plugins-community (5)
-
Convert MCP servers to token-efficient CLI tools with auto-generated SKILL.md files for Claude Code agents
-
Search, browse, and install MCP servers, agents, skills, prompts, and plugins from the conduitAI catalog — directly from Claude Code.
-
agent-discover io.github.keshrath/agent-discover
Find, install and enable MCP servers mid-session on any host, with consent and tool pinning
-
Find the right NVIDIA skill for GPU acceleration, CUDA, AI agents, data loading, training, inference, robotics, Physical AI, Omniverse, simulation, and other NVIDIA-powered…
-
Mac & Windows: let ChatGPT, Claude & Cursor use your email, calendar, iMessage, Teams, files.
Listado em Claude Code: claude-plugins-official (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…
-
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…
-
mdk-mcp-server io.github.SAP/mdk-mcp-server
Model Context Protocol (MCP) server for AI-assisted development of MDK applications.
-
mcp-server io.github.cap-js/mcp-server
Model Context Protocol (MCP) server for AI-assisted development of CAP applications.
Listado em Claude: knowledge-work-plugins (5)
-
MCP server for terminal commands, file operations, and process management
-
Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…
-
DataRobot skills for AI/ML workflows — model training, deployment, predictions, feature engineering, monitoring, explainability, data preparation, App Framework CI/CD, and…
-
Hosted MCP server for AI-assisted Grafana Cloud observability — no local installation required.
-
Build multimodal AI applications with Pixeltable -- tables, computed columns, embedding search, UDFs, tool-calling agents, and 25+ AI provider integrations.
Listado em 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.
-
Cloudflare platform plugin with curated skills for Workers, Wrangler, and Agents SDK plus the official Cloudflare API MCP server.
-
Predict structures, screen molecules and proteins, and design binders.
Listado em Community GitHub marketplaces (5)
-
4da-mcp-server io.github.4DA-Systems/4da-mcp-server
Upgrade intelligence for AI agents: what an upgrade changes, where it touches your code, CVE scans.
-
MCP server for terminal commands, file operations, and process management
-
inquisitor io.github.1111111111111111111114oLvT2/inquisitor
Hypothesis-driven problem solving for AI agents: probe, falsify, escalate.
-
FastMCP server for bidirectional sync between personal and team Obsidian vaults
FastMCP server for bidirectional sync between personal and team Obsidian vaults.
-
Self-hosted GitHub MCP server. PAT auth, stdio transport, transport-agnostic so it works with…
Listado em Copilot CLI: github/awesome-copilot (5)
-
Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…
-
Complete toolkit for building Model Context Protocol (MCP) servers in Go using the official github.com/modelcontextprotocol/go-sdk. Includes instructions for best practices, a…
-
Complete toolkit for building Model Context Protocol (MCP) servers in TypeScript/Node.js using the official SDK. Includes instructions for best practices, a prompt for generating…
-
Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.
-
Complete toolkit for building Model Context Protocol (MCP) servers in Kotlin using the official io.modelcontextprotocol:kotlin-sdk library. Includes instructions for best…
Listado em Copilot CLI: github/copilot-plugins (5)
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
-
mcp-apps
Generate MCP App widgets for MCP tools. Produces self-contained HTML widgets using the MCP Apps protocol.
-
Build Power Apps Canvas Apps using the Canvas Authoring MCP server.
-
Advanced Security plugin for GitHub Copilot.
-
model-apps
Build and deploy Power Apps generative pages for model-driven apps with specialist agents for planning, entity creation, and parallel code generation. Requires PAC CLI >= 2.7.0…
Listado em Cursor: cursor/plugins (5)
-
Fan large tasks out across parallel cloud agents with planners, workers, verifiers, and structured handoffs.
-
Iterative self-referential AI loops using the Ralph Wiggum technique.
-
Build apps, scripts, and automations with the TypeScript SDK.
-
Skills for building on the Cursor Origin API. Fetch the live spec first, then follow the Origin rules for credentials, scopes, webhooks, paging, and errors. Includes a skill that…
-
playwright-mcp io.github.microsoft/playwright-mcp
Playwright Tools for MCP
Listado em Docker MCP Catalog (5)
-
Connect your chat repl to wolfram alpha computational intelligence.
-
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.
-
Giving Claude ability to run code with E2B via MCP (Model Context Protocol).
-
A unified MCP proxy that aggregates multiple MCP servers into one interface, enabling seamless tool discovery and management across all your AI interactions. Manage all your MCP…
Listado em Official MCP Registry (5)
-
Stateful SageMath MCP server with 40 tools and a sandboxed Sage session per client.
-
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
-
calculator-mcp-server io.github.cyanheads/calculator-mcp-server
Evaluate, simplify, and differentiate mathematical expressions.
-
math-solver-ai-mcp io.github.CSOAI-ORG/math-solver-ai-mcp
Math Solver Ai MCP Server by MEOK AI Labs
-
math-mcp io.github.andylbrummer/math-mcp
GPU-accelerated MCP server: symbolic algebra, numerical computing, FFT, optimization, linear algebra
Encontrados pelo significado, não por código ou repositório em comum: plugins semelhantes continuam sendo produtos distintos, e isto não é uma avaliação nem uma recomendação.
Quer esta marca no seu plugin em nosso catálogo?
Prove que o mantém com um arquivo no repositório, um arquivo no seu domínio ou um registro DNS, e você poderá mostrar esta marca na ficha, com banners ao vivo para o seu site e o README. Como funciona a verificação
Você também recebe alertas quando um marketplace o publica, o remove, muda a marca de verificado ou o que ele pede, e o endpoint remoto passa a ser monitorado como um serviço web.
Dados de Official MCP Registry. Os números vêm das nossas próprias passagens regulares pelos marketplaces, última leitura em . Não publicamos dados de contato dos editores de plugins.