io.github.mrfentmen/answer-set-programming-mcp
Answer Set Programming MCP: real tools for real work.
Servidor MCP · de mrfentmen
Resumo
io.github.mrfentmen/answer-set-programming-mcp é um servidor MCP publicado por mrfentmen. Marketplaces que lemos e que o listam: 1 (Official MCP Registry). Vimos pela primeira vez em 2026-11-08 e não registramos mudanças desde então. Conforme nossa passagem pelos marketplaces em 2026-11-08.
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 npm
Gerado a partir do que Official MCP Registry declara.
claude mcp add --transport stdio answer-set-programming-mcp -- npx -y @mrfentmen/answer-set-programming-mcp[mcp_servers.answer-set-programming-mcp]
command = "npx"
args = ["-y", "@mrfentmen/answer-set-programming-mcp"]{
"mcpServers": {
"answer-set-programming-mcp": {
"command": "npx",
"args": [
"-y",
"@mrfentmen/answer-set-programming-mcp"
]
}
}
}Onde está publicado
| Marketplace | Status | Versão | Números | Verificado | Visto pela primeira vez |
|---|---|---|---|---|---|
| Official MCP Registry (Abrir o registro) | Listado | 1.0.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
- Passou a ser um produto que acompanhamos
- Official MCP Registry: apareceu
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.
-
mathematical-programming-system-mcp io.github.mrfentmen/mathematical-programming-system-mcp
Mathematical Programming System MCP: read, check, lint, scaffold and run code.
-
Use the skills your packages already ship, and keep your AI tools' project configuration in one place.
-
Agent-First MCP Toolkit -- code search, editing, execution, and analysis tools for any MCP client.
-
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
-
linear-programming-mcp io.github.mrfentmen/linear-programming-mcp
Linear Programming MCP: read, check, lint, scaffold and run code.
-
mcp io.github.DojoGenesis/mcp
Practice library for coding agents: skill search/invoke, seed patches, scout, reflect, ADR writer
-
A local knowledge base for your coding agents, served over MCP.
-
Git/CI MCP server with the full protocol surface (tools, resources, prompts, roots, sampling).
-
ejentum-mcp io.github.ejentum/ejentum-mcp
Reasoning, code, anti-deception, memory harness MCP tools. Stdio or HTTPS api.ejentum.com/mcp
-
developer-tools-mcp-server com.thenextgennexus/developer-tools-mcp-server
GitHub, npm, PyPI, Stack Overflow, arXiv and OpenAlex paper search as agent tools.
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.
-
mdk-mcp-server io.github.SAP/mdk-mcp-server
Model Context Protocol (MCP) server for AI-assisted development of MDK 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…
-
memex io.github.STiFLeR7/memex
Temporal engineering context for agents via MCP.
-
socraticode io.github.giancarloerra/socraticode
MCP server for enterprise local codebase indexing, semantic search, and code dependency graphs.
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.
-
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.
-
Detect an MCP server's language (Python, TypeScript or Go) and instrument it with the matching Pendo SDK so MCP tool calls flow into Pendo Agent Analytics.
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.
-
Sanity content platform integration with MCP server, agent skills, and slash commands. Query and author content, build and optimize GROQ queries, design schemas, and set up Visual…
-
Hosted MCP server for AI-assisted Grafana Cloud observability — no local installation required.
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…
-
CrowdStrike Falcon Foundry development skills for building cybersecurity applications on the Falcon platform. Includes UI development, collections, functions, workflows, API…
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
-
An agentic skills framework & software development methodology that works: planning, TDD, debugging, and collaboration workflows.
-
Qodo setup, code intelligence, and review workflows.
Listado em Community GitHub marketplaces (5)
-
Build agents, MCP servers and tool-using workflows.
-
One system around coding agents to run, verify, recover, and hand off software work.
-
mcp-builder-anthropic
Guide for creating high-quality MCP (Model Context Protocol) servers that enable LLMs to interact with external services through well-designed tools. Use when building MCP servers…
-
promptlike-mcp io.github.zeynepaslierhan/promptlike-mcp
Your PromptLikeEngineer prompt library as MCP tools, slash prompts and resources. No delete tool.
-
mcp io.github.seldonframe/mcp
Build, deploy, and sell AI agents for local-service businesses - from your IDE.
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 Java with the official MCP Java SDK 2.x. Includes a skill that generates a server project and an expert agent for guidance.
-
Explore and query TimeBase streams, schemas, QQL, symbols, and server status via MCP.
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.
-
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.
-
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…
-
Navigate and interact with your C++ code using the Microsoft C++ Language Server.
Listado em Cursor: cursor/plugins (5)
-
playwright-mcp io.github.microsoft/playwright-mcp
Playwright Tools for MCP
-
if you want to go fast, go deep first. pstack helps you write less, but higher quality code. rigorous agent workflows you can parallelize with confidence.
-
Build apps, scripts, and automations with the TypeScript SDK.
-
Fan large tasks out across parallel cloud agents with planners, workers, verifiers, and structured handoffs.
-
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…
Listado em Docker MCP Catalog (5)
-
npm-sentinel-mcp io.github.Nekzus/npm-sentinel-mcp
Advanced NPM analysis: Recursive security scanning, ecosystem awareness, and deep insights.
-
Git repository interaction and automation.
-
Dynatrace-mcp io.github.dynatrace-oss/Dynatrace-mcp
[DEPRECATED] Dynatrace MCP Server. Migrate to dynatrace-for-ai or Dynatrace Remote MCP Server.
-
Bridges n8n's workflow automation platform with AI models, providing access to 543 n8n nodes, workflow templates, and AI-capable automation tools.
-
maven-tools-mcp io.github.arvindand/maven-tools-mcp
JVM dependency intelligence for AI assistants via Maven Central
Listado em Official MCP Registry (5)
-
mathematical-programming-system-mcp io.github.mrfentmen/mathematical-programming-system-mcp
Mathematical Programming System MCP: read, check, lint, scaffold and run code.
-
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
-
linear-programming-mcp io.github.mrfentmen/linear-programming-mcp
Linear Programming MCP: read, check, lint, scaffold and run code.
-
mcp io.github.DojoGenesis/mcp
Practice library for coding agents: skill search/invoke, seed patches, scout, reflect, ADR writer
-
Git/CI MCP server with the full protocol surface (tools, resources, prompts, roots, sampling).
Listado em PyPI (MCP servers) (5)
-
Agent-First MCP Toolkit -- code search, editing, execution, and analysis tools for any MCP client.
-
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
-
A local knowledge base for your coding agents, served over MCP.
-
Snodo MCP — MCP servers, planning, recon, and jobs
-
Every tool your AI needs in one self-hosted install: memory, reasoning, git, Docker and more.
Listado em npm registry (MCP servers) (5)
-
Use the skills your packages already ship, and keep your AI tools' project configuration in one place.
-
Servidor MCP para desarrollo de proyectos
-
Local-first code intelligence for AI coding agents: natural-language + lexical repository search, exact source/symbol navigation, relationships, freshness, and indexing.
-
Deep research assistant that checks its citations against the sources and keeps what it found.
-
One system around coding agents to run, verify, recover, and hand off software work.
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.