Ext Ops Panel
Abrir o painel

io.github.DennisPrediger/slac-mcp

MCP server exposing SLAC (Simple Logic & Arithmetic Compiler) as tools for LLM agents

Servidor MCP · de DennisPrediger

Conectar Comparar Reivindicar

Resumo

io.github.DennisPrediger/slac-mcp é um servidor MCP publicado por DennisPrediger. 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
Instalar no CursorInstalar no VS Code

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 CodeTerminal
claude mcp add --transport stdio slac-mcp -- npx -y slac-mcp
Codex~/.codex/config.toml
[mcp_servers.slac-mcp]
command = "npx"
args = ["-y", "slac-mcp"]
Cursor~/.cursor/mcp.json
{
  "mcpServers": {
    "slac-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "slac-mcp"
      ]
    }
  }
}

Onde está publicado

MarketplaceStatusVersãoNúmerosVerificadoVisto pela primeira vez
Official MCP Registry (Abrir o registro) Listado 1.1.1 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.

  • sub-agents-mcp io.github.shinpr/sub-agents-mcp

    MCP server for delegating tasks to specialized AI sub-agents across coding tools

    de shinpr · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • mcp-llm-gateway io.github.daedalus/mcp-llm-gateway

    MCP-compatible LLM gateway that proxies completion requests.

    de daedalus · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • ai-agent-scratchpad io.github.lazymac2x/ai-agent-scratchpad

    Cloudflare Workers MCP server: ai-agent-scratchpad

    de lazymac2x · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • contextual-mcp-server io.github.NitishGourishetty/contextual-mcp-server

    RAG-enabled MCP server using Contextual AI. Supports single-agent and multi-agent modes.

    de NitishGourishetty · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • ask-llm io.github.Lykhoyda/ask-llm

    Unified MCP server for Gemini, Codex, Claude, Grok, Ollama, and Antigravity

    de Lykhoyda · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • agentstack-mcp io.github.inity13/agentstack-mcp

    Deterministic reasoning stack for AI agents: simulate, decide & compute, plus cross-domain tools.

    de inity13 · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • knowing io.github.blackwell-systems/knowing

    Content-addressed code graph with 22 MCP tools for AI agents.

    de blackwell-systems · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • threadctx-mcp io.github.threadctx-dev/threadctx-mcp

    Shared memory MCP server for AI coding agents — local by default, team-shared via threadctx.dev.

    de threadctx-dev · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • langchain

    MCP server for langchain documentation, generated by doc2mcp.

    de doc2mcp · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • slack-enterprise-mcp io.github.CSOAI-ORG/slack-enterprise-mcp

    Slack Enterprise MCP Server by MEOK AI Labs

    de CSOAI-ORG · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

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)

  • conduitai

    Search, browse, and install MCP servers, agents, skills, prompts, and plugins from the conduitAI catalog — directly from Claude Code.

    de conduit-technologies · Pacote de plugins

    Listado em: Claude Code: claude-plugins-community · Descreve quase a mesma tarefa

  • mcpg

    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…

    de yn01 · Pacote de plugins

    Listado em: Claude Code: claude-plugins-community · Descreve quase a mesma tarefa

  • vynn-mcp io.github.beee003/vynn-mcp

    Self-improving AI workflows with backtesting, prompt optimization, and scheduling

    de beee003 · Servidor MCP

    Listado em: Official MCP Registry, Claude Code: claude-plugins-community · Descreve quase a mesma tarefa

  • agent-discover io.github.keshrath/agent-discover

    Find, install and enable MCP servers mid-session on any host, with consent and tool pinning

    de keshrath · Servidor MCP

    Listado em: Official MCP Registry, Claude Code: claude-plugins-community, Community GitHub marketplaces · Descreve quase a mesma tarefa

  • eu-ai-act-compliance-mcp io.github.CSOAI-ORG/eu-ai-act-compliance-mcp

    Eu Ai Act Compliance MCP Server by MEOK AI Labs

    de CSOAI-ORG · Servidor MCP

    Listado em: Official MCP Registry, Claude Code: claude-plugins-community · Descreve quase a mesma tarefa

Listado em Claude Code: claude-plugins-official (5)

  • mdk-mcp-server io.github.SAP/mdk-mcp-server

    Model Context Protocol (MCP) server for AI-assisted development of MDK applications.

    de SAP · Servidor MCP

    Listado em: Official MCP Registry, Claude Code: claude-plugins-official, Claude Code: claude-plugins-community · Descreve quase a mesma tarefa

  • firebase-mcp io.github.firebase/firebase-mcp

    Gives AI development tools Firebase-specific capabilities and expertise.

    de firebase · Servidor MCP

    Listado em: Official MCP Registry, Claude Code: claude-plugins-official · Descreve quase a mesma tarefa

  • mcp-server-dev

    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…

    de Anthropic · Pacote de plugins

    Listado em: Claude Code: claude-plugins-official · Descreve quase a mesma tarefa

  • mcp-server io.github.cap-js/mcp-server

    Model Context Protocol (MCP) server for AI-assisted development of CAP applications.

    de cap-js · Servidor MCP

    Listado em: Official MCP Registry, Claude Code: claude-plugins-official, Claude Code: claude-plugins-community · Descreve quase a mesma tarefa

  • Setup MCP Agent Analytics

    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.

    de pendo-io · Pacote de plugins

    Listado em: Claude Code: claude-plugins-official · Descreve quase a mesma tarefa

Listado em Claude: knowledge-work-plugins (5)

  • figma

    Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…

    de figma · Pacote de plugins

    Listado em: Claude Code: claude-plugins-official, Official MCP Registry, Claude: knowledge-work-plugins, Copilot CLI: github/awesome-copilot · Descreve quase a mesma tarefa

  • Desktop Commander

    MCP server for terminal commands, file operations, and process management

    de wonderwhy-er · Servidor MCP

    Listado em: Official MCP Registry, Claude Code: claude-plugins-official, Docker MCP Catalog, Claude: knowledge-work-plugins, Claude Code: claude-plugins-community, Community GitHub marketplaces · Descreve quase a mesma tarefa

  • datarobot-agent-skills

    DataRobot skills for AI/ML workflows — model training, deployment, predictions, feature engineering, monitoring, explainability, data preparation, App Framework CI/CD, and…

    de datarobot-oss · Pacote de plugins

    Listado em: Claude Code: claude-plugins-official, Claude: knowledge-work-plugins, Community GitHub marketplaces · Descreve quase a mesma tarefa

  • sanity

    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…

    de sanity-io · Pacote de plugins

    Listado em: Claude Code: claude-plugins-official, Official MCP Registry, Claude: knowledge-work-plugins, Claude Code: claude-plugins-community · Descreve quase a mesma tarefa

  • langfuse

    Skills for working with Langfuse, the open-source LLM engineering platform for tracing, prompt management, and evaluation.

    de langfuse · Pacote de plugins

    Listado em: Claude Code: claude-plugins-official, Claude: knowledge-work-plugins, Claude Code: claude-plugins-community · Descreve quase a mesma tarefa

Listado em Codex: openai-curated (openai/plugins) (5)

  • NVIDIA

    Skills for NVIDIAs ecosystem spans GPU acceleration, CUDA, AI agents, inference, robotics, Physical AI, Omniverse, and simulation. This plugin helps you understand the pieces…

    de NVIDIA · Pacote de plugins

    Listado em: Codex: openai-curated (openai/plugins) · Descreve quase a mesma tarefa

  • OpenAI Developers

    Build with OpenAI APIs, Agents SDK, and ChatGPT Apps, and create and save OpenAI API keys from Codex.

    de OpenAI · Pacote de plugins

    Listado em: Codex: openai-curated (openai/plugins) · Descreve quase a mesma tarefa

  • Plugin Eval

    Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.

    de OpenAI Codex · Pacote de plugins

    Listado em: Codex: openai-curated (openai/plugins) · Descreve quase a mesma tarefa

  • Cloudflare

    Cloudflare platform plugin with curated skills for Workers, Wrangler, and Agents SDK plus the official Cloudflare API MCP server.

    de Cloudflare · Pacote de plugins

    Listado em: Codex: openai-curated (openai/plugins) · Descreve quase a mesma tarefa

  • Superpowers

    An agentic skills framework & software development methodology that works: planning, TDD, debugging, and collaboration workflows.

    de Jesse Vincent · Pacote de plugins

    Listado em: Codex: openai-curated (openai/plugins) · Descreve quase a mesma tarefa

Listado em Community GitHub marketplaces (5)

  • forkflux-mcp io.github.forkflux/forkflux-mcp

    Self-hosted multi-agent collaboration and audit layer for AI-assisted engineering teams

    de forkflux · Servidor MCP

    Listado em: Official MCP Registry, Community GitHub marketplaces · Descreve quase a mesma tarefa

  • GPTaria MCP

    Post a project brief & publish cases on GPTaria from Claude Code, Cursor or Windsurf.

    de gptaria-mcp · Servidor MCP

    Listado em: Official MCP Registry, Community GitHub marketplaces · Descreve quase a mesma tarefa

  • toolfactory io.github.GoatInAHat/toolfactory

    Build an agent tool once; ship it as Agent Skills, MCP servers, Agent Plugins / Claude / Codex

    de GoatInAHat · Servidor MCP

    Listado em: Official MCP Registry, Community GitHub marketplaces · Descreve quase a mesma tarefa

  • 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.

    de 4DA-Systems · Servidor MCP

    Listado em: Official MCP Registry, Community GitHub marketplaces · Descreve quase a mesma tarefa

  • ai-architect-mcp-spec io.github.cdeust/ai-architect-mcp-spec

    PRD verification and host-driven generation with multi-judge consensus across 17 MCP tools.

    de cdeust · Servidor MCP

    Listado em: Official MCP Registry, Community GitHub marketplaces · Descreve quase a mesma tarefa

Listado em Copilot CLI: github/awesome-copilot (5)

  • go-mcp-development

    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…

    de Awesome Copilot Community · Pacote de plugins

    Listado em: Copilot CLI: github/awesome-copilot · Descreve quase a mesma tarefa

  • typescript-mcp-development

    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…

    de Awesome Copilot Community · Pacote de plugins

    Listado em: Copilot CLI: github/awesome-copilot · Descreve quase a mesma tarefa

  • kotlin-mcp-development

    Complete toolkit for building Model Context Protocol (MCP) servers in Kotlin using the official io.modelcontextprotocol:kotlin-sdk library. Includes instructions for best…

    de Awesome Copilot Community · Pacote de plugins

    Listado em: Copilot CLI: github/awesome-copilot · Descreve quase a mesma tarefa

  • figma

    Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…

    de figma · Pacote de plugins

    Listado em: Claude Code: claude-plugins-official, Official MCP Registry, Claude: knowledge-work-plugins, Copilot CLI: github/awesome-copilot · Descreve quase a mesma tarefa

  • ai-team-orchestration

    Run a lightweight, role-separated AI development team with flexible tools, developer-selected models, proportionate planning, and optional QA.

    de Denis Evdokimov · Pacote de plugins

    Listado em: Copilot CLI: github/awesome-copilot · Descreve quase a mesma tarefa

Listado em Copilot CLI: github/copilot-plugins (5)

  • microsoft-365-agents-toolkit

    Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.

    de microsoft · Pacote de plugins

    Listado em: Copilot CLI: github/copilot-plugins · Descreve quase a mesma tarefa

  • mcp-apps

    Generate MCP App widgets for MCP tools. Produces self-contained HTML widgets using the MCP Apps protocol.

    de microsoft · Pacote de plugins

    Listado em: Copilot CLI: github/copilot-plugins · Descreve quase a mesma tarefa

  • cpp-language-server

    Navigate and interact with your C++ code using the Microsoft C++ Language Server.

    de microsoft · Pacote de plugins

    Listado em: Copilot CLI: github/copilot-plugins · Descreve quase a mesma tarefa

  • canvas-apps

    Build Power Apps Canvas Apps using the Canvas Authoring MCP server.

    de microsoft · Pacote de plugins

    Listado em: Copilot CLI: github/copilot-plugins · Descreve quase a mesma tarefa

  • azure-devops-copilot-plugin

    Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.

    de microsoft · Pacote de plugins

    Listado em: Copilot CLI: github/copilot-plugins · Descreve quase a mesma tarefa

Listado em Cursor: cursor/plugins (5)

  • Orchestrate

    Fan large tasks out across parallel cloud agents with planners, workers, verifiers, and structured handoffs.

    de Cursor · Pacote de plugins

    Listado em: Cursor: cursor/plugins · Descreve quase a mesma tarefa

  • Tailscale

    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…

    de Cursor · Pacote de plugins

    Listado em: Cursor: cursor/plugins · Descreve quase a mesma tarefa

  • Ralph Loop

    Iterative self-referential AI loops using the Ralph Wiggum technique.

    de Cursor · Pacote de plugins

    Listado em: Cursor: cursor/plugins · Descreve quase a mesma tarefa

  • Cursor SDK

    Build apps, scripts, and automations with the TypeScript SDK.

    de Cursor · Pacote de plugins

    Listado em: Cursor: cursor/plugins · Descreve quase a mesma tarefa

  • CLI for Agents

    Patterns for designing CLIs that coding agents can run reliably: flags, help with examples, pipelines, errors, idempotency, dry-run.

    de Eric Zakariasson · Pacote de plugins

    Listado em: Cursor: cursor/plugins · Descreve quase a mesma tarefa

Listado em Docker MCP Catalog (5)

  • E2B

    Giving Claude ability to run code with E2B via MCP (Model Context Protocol).

    de e2b-dev · Servidor MCP

    Listado em: Docker MCP Catalog · Descreve quase a mesma tarefa

  • Zen

    Bridges multiple AI models and CLIs, enabling orchestrated workflows across Claude Code, Gemini CLI, Codex CLI, and other AI development tools.

    de BeehiveInnovations · Servidor MCP

    Listado em: Docker MCP Catalog · Descreve quase a mesma tarefa

  • testkube-mcp io.github.kubeshop/testkube-mcp

    MCP server for Testkube - Manage test workflows, executions, and artifacts via AI assistants

    de kubeshop · Servidor MCP

    Listado em: Official MCP Registry, Docker MCP Catalog · Descreve quase a mesma tarefa

  • OpenMesh

    Discover and connect to a curated marketplace of MCP servers for extending AI agent capabilities.

    de docker · Servidor MCP

    Listado em: Docker MCP Catalog · Descreve quase a mesma tarefa

  • API Gateway

    A universal MCP (Model Context Protocol) server to integrate any API with Claude Desktop using only Docker configurations.

    de rflpazini · Servidor MCP

    Listado em: Docker MCP Catalog · Descreve quase a mesma tarefa

Listado em Official MCP Registry (5)

  • sub-agents-mcp io.github.shinpr/sub-agents-mcp

    MCP server for delegating tasks to specialized AI sub-agents across coding tools

    de shinpr · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • mcp-llm-gateway io.github.daedalus/mcp-llm-gateway

    MCP-compatible LLM gateway that proxies completion requests.

    de daedalus · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • ai-agent-scratchpad io.github.lazymac2x/ai-agent-scratchpad

    Cloudflare Workers MCP server: ai-agent-scratchpad

    de lazymac2x · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • contextual-mcp-server io.github.NitishGourishetty/contextual-mcp-server

    RAG-enabled MCP server using Contextual AI. Supports single-agent and multi-agent modes.

    de NitishGourishetty · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

  • ask-llm io.github.Lykhoyda/ask-llm

    Unified MCP server for Gemini, Codex, Claude, Grok, Ollama, and Antigravity

    de Lykhoyda · Servidor MCP

    Listado em: Official MCP Registry · Descreve quase a mesma tarefa

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.

Adicionar aos seus projetos Veja o que o painel faz

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.

De onde vêm os dados: como o catálogo é montado