Ext Ops Panel
Ouvrir le tableau de bord

io.github.DennisPrediger/slac-mcp

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

Serveur MCP · par DennisPrediger

Aperçu

io.github.DennisPrediger/slac-mcp est un serveur MCP publié par DennisPrediger. Places de marché que nous lisons et qui le référencent : 1 (Official MCP Registry). Nous l'avons vu pour la première fois le 2026-10-11 et n'avons enregistré aucun changement depuis. Selon notre passage sur les places de marché du 2026-10-13.

Ce qu'il demande

  • S'exécute sur votre machine

Aucune des places de marché que nous lisons ne publie ses outils ni les réglages qu'il demande.

Ce qu'il déclare, demande et exécute, en détail

N’installez que des plugins de développeurs en qui vous avez confiance. Nous reprenons ce que publient les places de marché et ne testons pas les plugins.

Fonctionne avec

  • Claude Code
  • Codex
  • Cursor
  • VS Code
  • Copilot CLI

Un lien en un clic ouvre le client, qui demande une confirmation avant d'ajouter le serveur.

D'après les marketplaces qui le listent et le transport MCP qu'il déclare, tels que chaque client les documente. Nous ne testons pas les plugins.

Connecter

Commandes et configurations construites uniquement à partir de ce que déclarent ses places de marché. Nous ne les exécutons pas pour vous et ne testons pas les plugins.

En serveur MCP local : paquet npm

Construit à partir de ce que déclare Official MCP Registry.

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"
      ]
    }
  }
}

Où il est publié

Place de marchéStatutVersionChiffresVérifiéVu pour la première fois
Official MCP Registry (Ouvrir la fiche du registre) Référencé 1.1.1 Forks (GitHub): 0
Étoiles (GitHub): 0
Non marqué

Chaque chiffre est celui de la place de marché et n'est jamais additionné entre places de marché. Une place de marché qui ne publie pas de chiffre n'en affiche aucun : pas de nombre ne veut pas dire zéro.

Ce qui a changé

Rien n'a bougé sur ce plugin depuis que nous le suivons.

Plugins similaires

Produits dont les noms, descriptions, outils et skills sont les plus proches de celui-ci par le sens, sur toutes les places de marché que nous lisons. La proximité n'est classée qu'à l'intérieur de cette liste.

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

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

    par shinpr · Serveur MCP

    Référencé sur : Official MCP Registry · Décrit presque le même besoin

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

    MCP-compatible LLM gateway that proxies completion requests.

    par daedalus · Serveur MCP

    Référencé sur : Official MCP Registry · Décrit presque le même besoin

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

    Cloudflare Workers MCP server: ai-agent-scratchpad

    par lazymac2x · Serveur MCP

    Référencé sur : Official MCP Registry · Décrit presque le même besoin

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

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

    par NitishGourishetty · Serveur MCP

    Référencé sur : Official MCP Registry · Décrit presque le même besoin

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

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

    par Lykhoyda · Serveur MCP

    Référencé sur : Official MCP Registry · Décrit presque le même besoin

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

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

    par inity13 · Serveur MCP

    Référencé sur : Official MCP Registry · Décrit presque le même besoin

  • knowing io.github.blackwell-systems/knowing

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

    par blackwell-systems · Serveur MCP

    Référencé sur : Official MCP Registry · Décrit presque le même besoin

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

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

    par threadctx-dev · Serveur MCP

    Référencé sur : Official MCP Registry · Décrit presque le même besoin

  • langchain

    MCP server for langchain documentation, generated by doc2mcp.

    par doc2mcp · Serveur MCP

    Référencé sur : Official MCP Registry · Décrit presque le même besoin

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

    Slack Enterprise MCP Server by MEOK AI Labs

    par CSOAI-ORG · Serveur MCP

    Référencé sur : Official MCP Registry · Décrit presque le même besoin

Plugins similaires par place de marché

La même question posée à chaque place de marché séparément : y a-t-il là un équivalent de ce plugin ?

Référencé sur 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.

    par conduit-technologies · Lot de plugins

    Référencé sur : Claude Code: claude-plugins-community · Décrit presque le même besoin

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

    par yn01 · Lot de plugins

    Référencé sur : Claude Code: claude-plugins-community · Décrit presque le même besoin

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

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

    par beee003 · Serveur MCP

    Référencé sur : Official MCP Registry, Claude Code: claude-plugins-community · Décrit presque le même besoin

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

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

    par keshrath · Serveur MCP

    Référencé sur : Official MCP Registry, Claude Code: claude-plugins-community, Community GitHub marketplaces · Décrit presque le même besoin

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

    Eu Ai Act Compliance MCP Server by MEOK AI Labs

    par CSOAI-ORG · Serveur MCP

    Référencé sur : Official MCP Registry, Claude Code: claude-plugins-community · Décrit presque le même besoin

Référencé sur 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.

    par SAP · Serveur MCP

    Référencé sur : Official MCP Registry, Claude Code: claude-plugins-official, Claude Code: claude-plugins-community · Décrit presque le même besoin

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

    Gives AI development tools Firebase-specific capabilities and expertise.

    par firebase · Serveur MCP

    Référencé sur : Official MCP Registry, Claude Code: claude-plugins-official · Décrit presque le même besoin

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

    par Anthropic · Lot de plugins

    Référencé sur : Claude Code: claude-plugins-official · Décrit presque le même besoin

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

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

    par cap-js · Serveur MCP

    Référencé sur : Official MCP Registry, Claude Code: claude-plugins-official, Claude Code: claude-plugins-community · Décrit presque le même besoin

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

    par pendo-io · Lot de plugins

    Référencé sur : Claude Code: claude-plugins-official · Décrit presque le même besoin

Référencé sur 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…

    par figma · Lot de plugins

    Référencé sur : Claude Code: claude-plugins-official, Official MCP Registry, Claude: knowledge-work-plugins, Copilot CLI: github/awesome-copilot · Décrit presque le même besoin

  • Desktop Commander

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

    par wonderwhy-er · Serveur MCP

    Référencé sur : Official MCP Registry, Claude Code: claude-plugins-official, Docker MCP Catalog, Claude: knowledge-work-plugins, Claude Code: claude-plugins-community, Community GitHub marketplaces · Décrit presque le même besoin

  • datarobot-agent-skills

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

    par datarobot-oss · Lot de plugins

    Référencé sur : Claude Code: claude-plugins-official, Claude: knowledge-work-plugins, Community GitHub marketplaces · Décrit presque le même besoin

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

    par sanity-io · Lot de plugins

    Référencé sur : Claude Code: claude-plugins-official, Official MCP Registry, Claude: knowledge-work-plugins, Claude Code: claude-plugins-community · Décrit presque le même besoin

  • langfuse

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

    par langfuse · Lot de plugins

    Référencé sur : Claude Code: claude-plugins-official, Claude: knowledge-work-plugins, Claude Code: claude-plugins-community · Décrit presque le même besoin

Référencé sur 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…

    par NVIDIA · Lot de plugins

    Référencé sur : Codex: openai-curated (openai/plugins) · Décrit presque le même besoin

  • OpenAI Developers

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

    par OpenAI · Lot de plugins

    Référencé sur : Codex: openai-curated (openai/plugins) · Décrit presque le même besoin

  • Plugin Eval

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

    par OpenAI Codex · Lot de plugins

    Référencé sur : Codex: openai-curated (openai/plugins) · Décrit presque le même besoin

  • Cloudflare

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

    par Cloudflare · Lot de plugins

    Référencé sur : Codex: openai-curated (openai/plugins) · Décrit presque le même besoin

  • Superpowers

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

    par Jesse Vincent · Lot de plugins

    Référencé sur : Codex: openai-curated (openai/plugins) · Décrit presque le même besoin

Référencé sur Community GitHub marketplaces (5)
  • forkflux-mcp io.github.forkflux/forkflux-mcp

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

    par forkflux · Serveur MCP

    Référencé sur : Official MCP Registry, Community GitHub marketplaces · Décrit presque le même besoin

  • GPTaria MCP

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

    par gptaria-mcp · Serveur MCP

    Référencé sur : Official MCP Registry, Community GitHub marketplaces · Décrit presque le même besoin

  • toolfactory io.github.GoatInAHat/toolfactory

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

    par GoatInAHat · Serveur MCP

    Référencé sur : Official MCP Registry, Community GitHub marketplaces · Décrit presque le même besoin

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

    par 4DA-Systems · Serveur MCP

    Référencé sur : Official MCP Registry, Community GitHub marketplaces · Décrit presque le même besoin

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

    par cdeust · Serveur MCP

    Référencé sur : Official MCP Registry, Community GitHub marketplaces · Décrit presque le même besoin

Référencé sur 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…

    par Awesome Copilot Community · Lot de plugins

    Référencé sur : Copilot CLI: github/awesome-copilot · Décrit presque le même besoin

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

    par Awesome Copilot Community · Lot de plugins

    Référencé sur : Copilot CLI: github/awesome-copilot · Décrit presque le même besoin

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

    par Awesome Copilot Community · Lot de plugins

    Référencé sur : Copilot CLI: github/awesome-copilot · Décrit presque le même besoin

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

    par figma · Lot de plugins

    Référencé sur : Claude Code: claude-plugins-official, Official MCP Registry, Claude: knowledge-work-plugins, Copilot CLI: github/awesome-copilot · Décrit presque le même besoin

  • ai-team-orchestration

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

    par Denis Evdokimov · Lot de plugins

    Référencé sur : Copilot CLI: github/awesome-copilot · Décrit presque le même besoin

Référencé sur 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.

    par microsoft · Lot de plugins

    Référencé sur : Copilot CLI: github/copilot-plugins · Décrit presque le même besoin

  • mcp-apps

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

    par microsoft · Lot de plugins

    Référencé sur : Copilot CLI: github/copilot-plugins · Décrit presque le même besoin

  • cpp-language-server

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

    par microsoft · Lot de plugins

    Référencé sur : Copilot CLI: github/copilot-plugins · Décrit presque le même besoin

  • canvas-apps

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

    par microsoft · Lot de plugins

    Référencé sur : Copilot CLI: github/copilot-plugins · Décrit presque le même besoin

  • azure-devops-copilot-plugin

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

    par microsoft · Lot de plugins

    Référencé sur : Copilot CLI: github/copilot-plugins · Décrit presque le même besoin

Référencé sur Cursor: cursor/plugins (5)
  • Orchestrate

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

    par Cursor · Lot de plugins

    Référencé sur : Cursor: cursor/plugins · Décrit presque le même besoin

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

    par Cursor · Lot de plugins

    Référencé sur : Cursor: cursor/plugins · Décrit presque le même besoin

  • Ralph Loop

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

    par Cursor · Lot de plugins

    Référencé sur : Cursor: cursor/plugins · Décrit presque le même besoin

  • Cursor SDK

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

    par Cursor · Lot de plugins

    Référencé sur : Cursor: cursor/plugins · Décrit presque le même besoin

  • CLI for Agents

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

    par Eric Zakariasson · Lot de plugins

    Référencé sur : Cursor: cursor/plugins · Décrit presque le même besoin

Référencé sur Docker MCP Catalog (5)
  • E2B

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

    par e2b-dev · Serveur MCP

    Référencé sur : Docker MCP Catalog · Décrit presque le même besoin

  • Zen

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

    par BeehiveInnovations · Serveur MCP

    Référencé sur : Docker MCP Catalog · Décrit presque le même besoin

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

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

    par kubeshop · Serveur MCP

    Référencé sur : Official MCP Registry, Docker MCP Catalog · Décrit presque le même besoin

  • OpenMesh

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

    par docker · Serveur MCP

    Référencé sur : Docker MCP Catalog · Décrit presque le même besoin

  • API Gateway

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

    par rflpazini · Serveur MCP

    Référencé sur : Docker MCP Catalog · Décrit presque le même besoin

Référencé sur 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

    par shinpr · Serveur MCP

    Référencé sur : Official MCP Registry · Décrit presque le même besoin

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

    MCP-compatible LLM gateway that proxies completion requests.

    par daedalus · Serveur MCP

    Référencé sur : Official MCP Registry · Décrit presque le même besoin

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

    Cloudflare Workers MCP server: ai-agent-scratchpad

    par lazymac2x · Serveur MCP

    Référencé sur : Official MCP Registry · Décrit presque le même besoin

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

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

    par NitishGourishetty · Serveur MCP

    Référencé sur : Official MCP Registry · Décrit presque le même besoin

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

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

    par Lykhoyda · Serveur MCP

    Référencé sur : Official MCP Registry · Décrit presque le même besoin

Trouvés par le sens, et non par un code ou un dépôt commun : les plugins similaires restent des produits distincts, et ceci n'est ni un avis ni une recommandation.

C'est votre plugin ?

Ajoutez-le à vos projets et prouvez que vous le maintenez : un fichier dans son dépôt, un fichier sur votre domaine ou un enregistrement DNS. Vous recevez des alertes quand une marketplace le publie, le retire, change sa marque vérifiée ou ce qu'il demande, et son endpoint distant est surveillé comme un service web.

Données issues de Official MCP Registry. Les chiffres proviennent de nos propres passages réguliers sur les places de marché, dernière lecture le . Nous ne publions aucune coordonnée des éditeurs de plugins.

D’où viennent les données : comment le catalogue est construit