io.github.daedalus/mcp-sympy
MCP server that exposes SymPy's symbolic mathematics functionality
Servidor MCP · de daedalus
Resumo
io.github.daedalus/mcp-sympy é um servidor MCP publicado por daedalus. 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-13.
O que pede
- Roda na sua máquina
Nenhum dos marketplaces que lemos publica as ferramentas ou as configurações que ele pede.
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.
Funciona com
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
Um link de um clique abre o cliente, que pede confirmação antes de adicionar o servidor.
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 PyPI
Gerado a partir do que Official MCP Registry declara.
claude mcp add --transport stdio mcp-sympy -- uvx mcp-sympy[mcp_servers.mcp-sympy]
command = "uvx"
args = ["mcp-sympy"]{
"mcpServers": {
"mcp-sympy": {
"command": "uvx",
"args": [
"mcp-sympy"
]
}
}
}Onde está publicado
| Marketplace | Status | Versão | Números | Verificado | Visto pela primeira vez |
|---|---|---|---|---|---|
| Official MCP Registry (Abrir o registro) | Listado | 0.1.0 | Forks (GitHub): 0 Estrelas (GitHub): 0 |
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.
-
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-mcp io.github.andylbrummer/math-mcp
GPU-accelerated MCP server: symbolic algebra, numerical computing, FFT, optimization, linear algebra
-
calculator-mcp-server io.github.cyanheads/calculator-mcp-server
Evaluate, simplify, and differentiate mathematical expressions.
-
Stateful SageMath MCP server with 40 tools and a sandboxed Sage session per client.
-
mcp-numpy io.github.daedalus/mcp-numpy
An MCP server that exposes NumPy functionality
-
mcp-parigp io.github.daedalus/mcp-parigp
MCP server exposing cypari2 (PARI/GP) number theory library
-
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
-
mcp-number-theory io.github.daedalus/mcp-number-theory
MCP server exposing number theory functions and factorization algorithms
-
mathgraphs-mcp io.github.architectds/mathgraphs-mcp
Math & statistics graphing, computation, visualization, and validation engine
-
math-solver-ai-mcp io.github.CSOAI-ORG/math-solver-ai-mcp
Math Solver Ai MCP Server by MEOK AI Labs
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)
-
mcp-server io.github.cap-js/mcp-server
Model Context Protocol (MCP) server for AI-assisted development of CAP applications.
-
Generate MCP server scaffold and tool implementation code from a natural language description. Describe what tools you want in plain language, choose TypeScript or Python, and get…
-
Convert MCP servers to token-efficient CLI tools with auto-generated SKILL.md files for Claude Code agents
-
socraticode io.github.giancarloerra/socraticode
MCP server for enterprise local codebase indexing, semantic search, and code dependency graphs.
-
mdk-mcp-server io.github.SAP/mdk-mcp-server
Model Context Protocol (MCP) server for AI-assisted development of MDK applications.
Listado em Claude Code: claude-plugins-official (5)
-
mcp-server io.github.cap-js/mcp-server
Model Context Protocol (MCP) server for AI-assisted development of CAP applications.
-
mdk-mcp-server io.github.SAP/mdk-mcp-server
Model Context Protocol (MCP) server for AI-assisted development of MDK applications.
-
MCP server for terminal commands, file operations, and process management
-
Skills for designing and building MCP servers that work seamlessly with Claude. Guides you through deployment models (remote HTTP, MCPB, local), tool design patterns, auth, and…
-
firebase-mcp io.github.firebase/firebase-mcp
Gives AI development tools Firebase-specific capabilities and expertise.
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…
-
gk-cli com.gitkraken/gk-cli
The GitKraken MCP Server for managing repos, PRs, issues across GitHub, GitLab, Bitbucket and more.
-
Hosted MCP server for AI-assisted Grafana Cloud observability — no local installation required.
-
Build and deploy on Val Town. Bundles the Val Town MCP server and platform skills (HTTP vals, cron/intervals, SQLite, email, OAuth, React UI, third-party integrations, templates).
Listado em Codex: openai-curated (openai/plugins) (5)
-
Cloudflare platform plugin with curated skills for Workers, Wrangler, and Agents SDK plus the official Cloudflare API MCP server.
-
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.
-
CrowdStrike Falcon Foundry development skills for building cybersecurity applications on the Falcon platform. Includes UI development, collections, functions, workflows, API…
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
-
Self-hosted GitHub MCP server. PAT auth, stdio transport, transport-agnostic so it works with…
-
FastMCP server for bidirectional sync between personal and team Obsidian vaults
FastMCP server for bidirectional sync between personal and team Obsidian vaults.
-
Sandboxed local filesystem: read, search, edit, copy, archive, and safely manage files.
Listado em Copilot CLI: github/awesome-copilot (5)
-
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…
-
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 Kotlin using the official io.modelcontextprotocol:kotlin-sdk library. Includes instructions for best…
-
Build Model Context Protocol (MCP) servers in Python with the official MCP Python SDK v2 (MCPServer). Includes a skill that generates a server project and an expert agent for…
-
Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…
Listado em Copilot CLI: github/copilot-plugins (5)
-
mcp-apps
Generate MCP App widgets for MCP tools. Produces self-contained HTML widgets using the MCP Apps protocol.
-
Navigate and interact with your C++ code using the Microsoft C++ Language Server.
-
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.
-
Advanced Security plugin for GitHub Copilot.
Listado em Cursor: cursor/plugins (5)
-
Fan large tasks out across parallel cloud agents with planners, workers, verifiers, and structured handoffs.
-
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…
-
CLI-backed repo compatibility scans plus agents that audit startup, validation, and docs against reality.
-
Inspect and manage feature gates, experiments, dynamic configs, and metrics.
Listado em Docker MCP Catalog (5)
-
Dynatrace-mcp io.github.dynatrace-oss/Dynatrace-mcp
[DEPRECATED] Dynatrace MCP Server. Migrate to dynatrace-for-ai or Dynatrace Remote MCP Server.
-
Access to Rube's catalog of remote MCP servers.
-
MCP server for terminal commands, file operations, and process management
-
Giving Claude ability to run code with E2B via MCP (Model Context Protocol).
-
A Python-based execution tool that mimics a Jupyter notebook environment. It accepts code snippets, executes them, and maintains state across sessions — preserving variables…
Listado em Official MCP Registry (5)
-
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-mcp io.github.andylbrummer/math-mcp
GPU-accelerated MCP server: symbolic algebra, numerical computing, FFT, optimization, linear algebra
-
calculator-mcp-server io.github.cyanheads/calculator-mcp-server
Evaluate, simplify, and differentiate mathematical expressions.
-
Stateful SageMath MCP server with 40 tools and a sandboxed Sage session per client.
-
mcp-numpy io.github.daedalus/mcp-numpy
An MCP server that exposes NumPy functionality
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.
Este plugin é seu?
Adicione-o aos seus projetos e prove que o mantém com um arquivo no repositório, um arquivo no seu domínio ou um registro DNS. Você 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.