io.github.sandraschi/leanforge-mcp
MCP server for AI-driven formal proof search in Lean 4
MCP-Server · von sandraschi
Überblick
io.github.sandraschi/leanforge-mcp ist ein MCP-Server von sandraschi. Marktplätze, die wir lesen und die es listen: 1 (Official MCP Registry). Die letzte erfasste Änderung war am 2026-10-12. Stand unseres Marktplatz-Durchlaufs vom 2026-10-13.
Was es abfragt
- Läuft auf Ihrem Rechner
Keiner der Marktplätze, die wir lesen, veröffentlicht seine Tools oder die abgefragten Einstellungen.
Was es deklariert, abfragt und ausführt, vollständig
Installieren Sie nur Plugins von Entwicklern, denen Sie vertrauen. Wir zeigen, was die Marktplätze veröffentlichen, und testen keine Plugins.
Funktioniert mit
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
Nach den Marktplätzen, die ihn listen, und dem angegebenen MCP-Transport, wie jeder Client sie dokumentiert. Wir testen keine Plugins.
Verbinden
Keine Daten für einen automatischen Befehl: Die Angaben der Marktplätze sagen nicht eindeutig, wie man es verbindet.
Wo es veröffentlicht ist
| Marktplatz | Status | Version | Zahlen | Verifiziert | Erstmals gesehen |
|---|---|---|---|---|---|
| Official MCP Registry (Eintrag in der Registry öffnen) | Gelistet | 0.1.0 | Forks (GitHub): 0 Sterne (GitHub): 2 |
Nicht markiert |
Jede Zahl stammt vom jeweiligen Marktplatz und wird nie über Marktplätze hinweg addiert. Ein Marktplatz ohne veröffentlichte Zahl zeigt keine: keine Zahl ist nicht null.
Was sich geändert hat
Bei diesem Plugin hat sich nichts bewegt, seit wir es beobachten.
Ähnliche Plugins
Produkte, deren eigene Namen, Beschreibungen, Werkzeuge und Skills diesem der Bedeutung nach am nächsten sind, auf allen Marktplätzen, die wir lesen. Die Nähe ist nur innerhalb dieser Liste geordnet.
-
prover com.axiomatic-ai/prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
-
proof io.github.ToremLabs/proof
Govern your AI coding agent: frame the work, review the changes, keep a signed decision record.
-
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 io.github.cachly-dev/mcp-server
Solve it once. From then on, your AI knows. Experience for coding agents, hosted in the EU.
-
Execute coq-proof-assistant-mcp
Premium agentic endpoint for coq-proof-assistant-mcp.
-
MCP bridge that folds multiple MCP servers' capabilities into a few fixed tools for AI tools.
-
mcp io.github.DojoGenesis/mcp
Practice library for coding agents: skill search/invoke, seed patches, scout, reflect, ADR writer
-
cpfs-mcp io.github.JonahAlexanian/cpfs-mcp
CPFS Runner as an MCP server — deterministic AI coding guardrails via a compiled WASM core.
-
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
-
tenkai-mcp io.github.mcfredrick/tenkai-mcp
Search Tenkai Daily AI news for open-source releases, papers, and tools. Updated daily.
Ähnliche Plugins nach Marktplatz
Dieselbe Frage an jeden Marktplatz einzeln: Gibt es dort ein Gegenstück zu diesem Plugin?
Gelistet auf Claude Code: claude-plugins-community (5)
-
vynn-mcp io.github.beee003/vynn-mcp
Self-improving AI workflows with backtesting, prompt optimization, and scheduling
-
eu-ai-act-compliance-mcp io.github.CSOAI-ORG/eu-ai-act-compliance-mcp
Eu Ai Act Compliance MCP Server by MEOK AI Labs
-
Search, browse, and install MCP servers, agents, skills, prompts, and plugins from the conduitAI catalog — directly from Claude Code.
-
mcp-server io.github.cap-js/mcp-server
Model Context Protocol (MCP) server for AI-assisted development of CAP applications.
-
socraticode io.github.giancarloerra/socraticode
MCP server for enterprise local codebase indexing, semantic search, and code dependency graphs.
Gelistet auf Claude Code: claude-plugins-official (5)
-
firebase-mcp io.github.firebase/firebase-mcp
Gives AI development tools Firebase-specific capabilities and expertise.
-
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…
-
Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…
Gelistet auf Claude: knowledge-work-plugins (5)
-
Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…
-
MCP server for terminal commands, file operations, and process management
-
AI-first project auditor and re-engineer based on the 9 design principles and 7 design patterns from the TechWolf AI-First Bootcamp
-
DataRobot skills for AI/ML workflows — model training, deployment, predictions, feature engineering, monitoring, explainability, data preparation, App Framework CI/CD, and…
-
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…
Gelistet auf 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…
-
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…
-
An agentic skills framework & software development methodology that works: planning, TDD, debugging, and collaboration workflows.
Gelistet auf 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.
-
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.
-
legalithm-mcp-server io.github.PedramMadani/legalithm-mcp-server
EU AI Act risk classification, obligations and Article 50 disclosures. Offline, no API key.
-
forkflux-mcp io.github.forkflux/forkflux-mcp
Self-hosted multi-agent collaboration and audit layer for AI-assisted engineering teams
-
Post a project brief & publish cases on GPTaria from Claude Code, Cursor or Windsurf.
Gelistet auf Copilot CLI: github/awesome-copilot (5)
-
Complete toolkit for building Model Context Protocol (MCP) servers in Kotlin using the official io.modelcontextprotocol:kotlin-sdk library. Includes instructions for best…
-
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…
-
Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…
-
Run a lightweight, role-separated AI development team with flexible tools, developer-selected models, proportionate planning, and optional QA.
Gelistet auf 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.
-
Navigate and interact with your C++ code using the Microsoft C++ Language Server.
-
Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.
-
Advanced Security plugin for GitHub Copilot.
Gelistet auf Cursor: cursor/plugins (5)
-
Build apps, scripts, and automations with the TypeScript SDK.
-
Iterative self-referential AI loops using the Ralph Wiggum technique.
-
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…
-
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…
-
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.
Gelistet auf Docker MCP Catalog (5)
-
Discover and connect to a curated marketplace of MCP servers for extending AI agent capabilities.
-
maven-tools-mcp io.github.arvindand/maven-tools-mcp
JVM dependency intelligence for AI assistants via Maven Central
-
Official Arm MCP server for code migration, optimization, and Arm architecture guidance
-
Dynatrace-mcp io.github.dynatrace-oss/Dynatrace-mcp
[DEPRECATED] Dynatrace MCP Server. Migrate to dynatrace-for-ai or Dynatrace Remote MCP Server.
-
The Official Model Context Protocol (MCP) server for Kagi Search & other tools.
Gelistet auf Official MCP Registry (5)
-
prover com.axiomatic-ai/prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
-
proof io.github.ToremLabs/proof
Govern your AI coding agent: frame the work, review the changes, keep a signed decision record.
-
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 io.github.cachly-dev/mcp-server
Solve it once. From then on, your AI knows. Experience for coding agents, hosted in the EU.
-
Execute coq-proof-assistant-mcp
Premium agentic endpoint for coq-proof-assistant-mcp.
Nach Bedeutung gefunden, nicht über gemeinsamen Code oder ein gemeinsames Repository: Ähnliche Plugins bleiben getrennte Produkte, und dies ist weder eine Bewertung noch eine Empfehlung.
Ist das Ihr Plugin?
Fügen Sie es Ihren Projekten hinzu und belegen Sie, dass Sie es pflegen: mit einer Datei im Repository, einer Datei auf Ihrer Domain oder einem DNS-Eintrag. Sie erhalten Hinweise, wenn ein Marktplatz es aufnimmt, entfernt, sein Verified-Zeichen oder seine Anforderungen ändert, und sein Remote-Endpunkt wird wie ein Webdienst überwacht.
Daten von Official MCP Registry. Die Zahlen stammen aus unseren eigenen regelmäßigen Durchläufen über die Marktplätze, zuletzt abgerufen am . Kontaktdaten von Plugin-Herausgebern veröffentlichen wir nicht.