Proven
Judge AI-written Python: no invented packages or calls, no facts from memory, verified LLM output.
MCP-Server · von malikabyl
Überblick
Proven ist ein MCP-Server von malikabyl. Marktplätze, die wir lesen und die es listen: 1 (Official MCP Registry). Die letzte erfasste Änderung war am 2026-11-04. Stand unseres Marktplatz-Durchlaufs vom 2026-11-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
Ein Ein-Klick-Link öffnet den Client, der vor dem Hinzufügen des Servers um Bestätigung bittet.
Nach den Marktplätzen, die ihn listen, und dem angegebenen MCP-Transport, wie jeder Client sie dokumentiert. Wir testen keine Plugins.
Verbinden
Befehle und Konfigurationen nur aus den Angaben der Marktplätze. Wir führen sie nicht für Sie aus und testen keine Plugins.
Als lokaler MCP-Server: PyPI-Paket
Erstellt aus den Angaben von Official MCP Registry.
claude mcp add --transport stdio proven -- uvx proven-judge mcp --no-installed-check[mcp_servers.proven]
command = "uvx"
args = ["proven-judge", "mcp", "--no-installed-check"]{
"mcpServers": {
"proven": {
"command": "uvx",
"args": [
"proven-judge",
"mcp",
"--no-installed-check"
]
}
}
}Wo es veröffentlicht ist
| Marktplatz | Status | Version | Zahlen | Verifiziert | Erstmals gesehen |
|---|---|---|---|---|---|
| Official MCP Registry (Eintrag in der Registry öffnen) | Gelistet | 0.2.0 | Forks (GitHub): 0 Sterne (GitHub): 1 |
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.
Wie sich die Zahlen entwickelt haben
- 2026-11-041
- 2026-11-141
Jeder Punkt ist ein Tag, an dem wir eine andere Zahl gelesen haben; flache Abschnitte sind Tage ohne Veränderung. Zahlen verschiedener Marktplätze werden nie addiert.
Was sich geändert hat
- Official MCP Registry: Version 0.2.0 veröffentlicht (vorher 0.1.0)
- Wird seitdem als Produkt geführt
- Official MCP Registry: erschienen
Ä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.
-
Search and read short factual claims with cited sources, a verification tier and a signature.
-
Merge gate for AI-written code: deterministic vetoes plus a Claude Haiku 5.5 review. No signup.
-
Answers, sources and brand mentions from OpenAI, Perplexity, Gemini, Claude and Grok side by side.
-
Local secret & credential checks for AI-assisted dev — runs on your machine, results redacted.
-
verify_business checks identity by domain or hash. Not a ranking, citation, or recommendation.
-
Self-hosted MCP for controlled AI development and staging without a general-purpose remote shell.
-
The best prompt and the best model for the job, tested and improved by your coding agent.
-
Ask high-complexity questions where the best answer is required — coding, hard reasoning, and more.
-
AI document verification: catch hallucinations, arithmetic errors, and field mismatches.
-
Free, privacy-respecting software and public discovery tools for AI agents.
Ä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)
-
memex io.github.STiFLeR7/memex
Temporal engineering context for agents via MCP.
-
Real-time security filter for MCP tool communications. Works as a Claude Code hook to inspect all data sent to and received from MCP servers. Detects prompt injection, API key…
-
Convert MCP servers to token-efficient CLI tools with auto-generated SKILL.md files for Claude Code agents
-
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.
Gelistet auf 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.
-
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…
-
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…
Gelistet auf 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…
-
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.
-
Search companies and contacts, enrich leads, find lookalikes, and get AI-ranked contact recommendations. Pre-built skills chain multiple ZoomInfo tools into complete B2B sales…
Gelistet auf Codex: openai-curated (openai/plugins) (5)
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
-
Skills for NVIDIAs ecosystem spans GPU acceleration, CUDA, AI agents, inference, robotics, Physical AI, Omniverse, and simulation. This plugin helps you understand the pieces…
-
Build with OpenAI APIs, Agents SDK, and ChatGPT Apps, and create and save OpenAI API keys from Codex.
-
Install, open, and connect the signed ChatCut Desktop app from Codex.
-
Cloudflare platform plugin with curated skills for Workers, Wrangler, and Agents SDK plus the official Cloudflare API MCP server.
Gelistet auf Community GitHub marketplaces (5)
-
Build high-quality MCP servers for LLM integrations
-
Gives AI agents the function they asked for, not the file. Commercial use needs a license.
-
One system around coding agents to run, verify, recover, and hand off software work.
-
Official Microsoft Learn MCP Server – real-time, trusted docs & code samples for AI and LLMs.
-
Build agents, MCP servers and tool-using workflows.
Gelistet auf Copilot CLI: github/awesome-copilot (5)
-
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 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 Kotlin using the official io.modelcontextprotocol:kotlin-sdk library. Includes instructions for best…
-
Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…
-
Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.
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.
-
Build Power Apps Canvas Apps using the Canvas Authoring MCP server.
-
Advanced Security plugin for GitHub Copilot.
-
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…
Gelistet auf Cursor: cursor/plugins (5)
-
playwright-mcp io.github.microsoft/playwright-mcp
Playwright Tools for MCP
-
Let Grok Bot reach MCP servers on your private Tailscale network: connect your own tailnet, or your team's company tailnets turned on by a team admin, with each member using their…
-
Iterative self-referential AI loops using the Ralph Wiggum technique.
-
Build apps, scripts, and automations with the TypeScript SDK.
-
CLI-backed repo compatibility scans plus agents that audit startup, validation, and docs against reality.
Gelistet auf Docker MCP Catalog (5)
-
Read and score Opik traces, experiments, datasets and prompts from your AI assistant.
-
Firecrawl, the context API for AI agents: search, scrape, interact with the web, plus paper search.
-
The Official Model Context Protocol (MCP) server for Kagi Search & other tools.
-
Dynatrace-mcp io.github.dynatrace-oss/Dynatrace-mcp
[DEPRECATED] Dynatrace MCP Server. Migrate to dynatrace-for-ai or Dynatrace Remote MCP Server.
-
Giving Claude ability to run code with E2B via MCP (Model Context Protocol).
Gelistet auf Official MCP Registry (5)
-
Search and read short factual claims with cited sources, a verification tier and a signature.
-
Merge gate for AI-written code: deterministic vetoes plus a Claude Haiku 5.5 review. No signup.
-
Answers, sources and brand mentions from OpenAI, Perplexity, Gemini, Claude and Grok side by side.
-
Local secret & credential checks for AI-assisted dev — runs on your machine, results redacted.
-
verify_business checks identity by domain or hash. Not a ranking, citation, or recommendation.
Gelistet auf PyPI (MCP servers) (5)
-
Judgment calls on small, cheap models: is this spam, which team, how urgent. YES, NO or UNSURE.
-
MCP server for interactive user feedback in AI-assisted development, featuring dual interface support (Web UI and Desktop Application) with intelligent environment detection and…
-
mcp-remlezrd
Model Context Protocol (MCP) server for AI agents
-
Sniff out what your AI tools are hiding: local security checks for MCP servers (hidden instructions, known malware, leaked secrets, rug pulls).
-
Every tool your AI needs in one self-hosted install: memory, reasoning, git, Docker and more.
Gelistet auf npm registry (MCP servers) (5)
-
Check an MCP server, skill or plugin before your agent uses it: tool text on record, changes graded.
-
Tool-using planning agent over MCP servers, built on the Vercel AI SDK.
-
Test Minecraft plugins end to end: drive a real Paper server and real protocol bots.
-
tock-mcp io.github.chrischall/tock-mcp
Tock (exploretock.com): discover restaurants, search a city, get venue details and availability.
-
pickuppatrol-mcp io.github.chrischall/pickuppatrol-mcp
Read and change your children's school dismissal plans in PickUp Patrol
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.
Möchten Sie dieses Zeichen für Ihr Plugin in unserem Katalog?
Belegen Sie mit einer Datei im Repository, einer Datei auf Ihrer Domain oder einem DNS-Eintrag, dass Sie es pflegen, und Sie können dieses Zeichen auf der Karte zeigen, dazu Live-Banner für Ihre Website und Ihr README. So funktioniert die Verifizierung
Außerdem erhalten Sie 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.