Discrete Structures
Comprehensive tools for discrete mathematics: logic, algorithms, number theory, cryptography
Servidor MCP · de ZohaibCodez
Resumo
Discrete Structures é um servidor MCP publicado por ZohaibCodez. 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.
Pacote
PyPI discrete-structures-mcp (discrete-structures-mcp no PyPI)
- Downloads do PyPI por semana: 35 (2026-10-13)
- Downloads do PyPI por mês: 95 (2026-10-13)
- Última versão no PyPI: 0.1.4, publicada em 2026-01-09
Nenhuma vulnerabilidade conhecida no OSV para 0.1.4 (verificado em 2026-10-13)
Os dados do PyPI vêm do pypi.org e os downloads do PyPI do pypistats.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. Os registros de vulnerabilidades vêm do OSV.dev (CC BY 4.0) e dizem respeito apenas à versão declarada; uma listagem sem versão declarada não recebe resposta. Não analisamos código.
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 discrete-structures -- uvx discrete-structures-mcp[mcp_servers.discrete-structures]
command = "uvx"
args = ["discrete-structures-mcp"]{
"mcpServers": {
"discrete-structures": {
"command": "uvx",
"args": [
"discrete-structures-mcp"
]
}
}
}Onde está publicado
| Marketplace | Status | Versão | Números | Verificado | Visto pela primeira vez |
|---|---|---|---|---|---|
| Official MCP Registry (Abrir o registro) | Listado | 0.1.4 | Downloads por mês (PyPI): 95 Downloads por semana (PyPI): 35 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.
-
mcp-number-theory io.github.daedalus/mcp-number-theory
MCP server exposing number theory functions and factorization algorithms
-
math-tools-mcp io.github.mrfentmen/math-tools-mcp
Prime checks, factors, GCD, and basic statistics computed locally. No network and no key.
-
sagemath-mcp-server io.github.justice8096/sagemath-mcp-server
MCP server wrapping SageMath's full computer algebra system — 10 symbolic-math tools for LLMs.
-
CipherHUB Cryptography Toolkit
Production-grade cryptography toolkit with 31 MCP tools for classical, PQC, and KMS workflows.
-
calc-mcp io.github.coo-quack/calc-mcp
21 MCP tools for math, randomness, dates, encoding, hashing, and more — deterministic and accurate.
-
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
-
structured-output-mcp-agent-cryptography ai.getvda/structured-output-mcp-agent-cryptography
Structured Output MCP Agent (Cryptography)
-
mcp-parigp io.github.daedalus/mcp-parigp
MCP server exposing cypari2 (PARI/GP) number theory library
-
polymath-megablaster-mcp io.github.headlessherm-creator/polymath-megablaster-mcp
Local deterministic calc MCP: exact math, dates, unit conversion, stats, subnet math.
-
Stateful SageMath MCP server with 40 tools and a sandboxed Sage session per client.
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)
-
agent-discover io.github.keshrath/agent-discover
Find, install and enable MCP servers mid-session on any host, with consent and tool pinning
-
Convert MCP servers to token-efficient CLI tools with auto-generated SKILL.md files for Claude Code agents
-
Strale agent skills with remote MCP connector for Strale platform integration.
-
Formal methods toolkit for multi-agent development. Define inter-agent contracts in VDM-SL, verify with VDMJ, prove with Z3, and generate TypeScript/Python code with runtime…
-
Peer network patterns for Claude Code agent specialization. Peers gives Claude instances structured identity, discovery, messaging, and handoff protocols so specialist reviewers…
Listado em 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…
-
MCP server for terminal commands, file operations, and process management
-
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…
-
Turn any learning intent into a personalized Coursera experience. Asks three quick questions (topic, familiarity, preferred format), searches Coursera's catalog, and delivers the…
-
DataRobot skills for AI/ML workflows — model training, deployment, predictions, feature engineering, monitoring, explainability, data preparation, App Framework CI/CD, and…
-
Security review for Claude-generated code. Pattern-based warnings on edits, LLM-powered diff review on Stop, and an agentic commit reviewer that catches injection, XSS, SSRF…
Listado em Codex: openai-curated (openai/plugins) (5)
-
CrowdStrike Falcon Foundry development skills for building cybersecurity applications on the Falcon platform. Includes UI development, collections, functions, workflows, API…
-
Skills for NVIDIAs ecosystem spans GPU acceleration, CUDA, AI agents, inference, robotics, Physical AI, Omniverse, and simulation. This plugin helps you understand the pieces…
-
Predict structures, screen molecules and proteins, and design binders.
-
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.
Listado em Community GitHub marketplaces (5)
-
cybersec-toolkit io.github.26zl/cybersec-toolkit
Authorization-gated MCP server to discover and run 670+ security tools for CTF, pentest, and DFIR.
-
agent-discover io.github.keshrath/agent-discover
Find, install and enable MCP servers mid-session on any host, with consent and tool pinning
-
Deterministic batch tools so LLM agents stop guessing dates and math.
-
inquisitor io.github.1111111111111111111114oLvT2/inquisitor
Hypothesis-driven problem solving for AI agents: probe, falsify, escalate.
-
canvas-lms-mcp io.github.bruchris/canvas-lms-mcp
TypeScript MCP server for Canvas LMS — 174 tools across 42 domains.
Listado em Copilot CLI: github/awesome-copilot (5)
-
Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.
-
Codebase-grounded concept-mastery quizzes with an interactive BrainMax Canvas dashboard.
-
7 specialized agents covering the full software development lifecycle from UX design and architecture to security and DevOps.
-
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…
Listado em Copilot CLI: github/copilot-plugins (5)
-
Advanced Security plugin for GitHub Copilot.
-
mcp-apps
Generate MCP App widgets for MCP tools. Produces self-contained HTML widgets using the MCP Apps protocol.
-
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.
Listado em Cursor: cursor/plugins (5)
-
Iterative self-referential AI loops using the Ralph Wiggum technique.
-
Fan large tasks out across parallel cloud agents with planners, workers, verifiers, and structured handoffs.
-
Build apps, scripts, and automations with the TypeScript SDK.
-
Skill mapping, practice plans, and learning retrospectives.
-
Let Grok Bot reach MCP servers on your private Tailscale network. Sign in to Tailscale to connect your tailnet; Grok Bot joins it as one tagged device and only reaches the hosts…
Listado em Docker MCP Catalog (5)
-
Connect your chat repl to wolfram alpha computational intelligence.
-
Sequential Thinking (Reference)
Dynamic and reflective problem-solving through thought sequences.
-
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).
-
MCP server for terminal commands, file operations, and process management
Listado em Official MCP Registry (5)
-
mcp-number-theory io.github.daedalus/mcp-number-theory
MCP server exposing number theory functions and factorization algorithms
-
math-tools-mcp io.github.mrfentmen/math-tools-mcp
Prime checks, factors, GCD, and basic statistics computed locally. No network and no key.
-
sagemath-mcp-server io.github.justice8096/sagemath-mcp-server
MCP server wrapping SageMath's full computer algebra system — 10 symbolic-math tools for LLMs.
-
CipherHUB Cryptography Toolkit
Production-grade cryptography toolkit with 31 MCP tools for classical, PQC, and KMS workflows.
-
calc-mcp io.github.coo-quack/calc-mcp
21 MCP tools for math, randomness, dates, encoding, hashing, and more — deterministic and accurate.
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.