Proven
Judge AI-written Python: no invented packages or calls, no facts from memory, verified LLM output.
MCP-сервер · от malikabyl
Коротко
Proven: MCP-сервер, издатель malikabyl. Витрин, которые мы читаем и где он опубликован: 1 (Official MCP Registry). Последнее изменение мы зафиксировали 2026-11-04. Данные нашего прохода по витринам на 2026-11-13.
Что просит
- Работает на вашем компьютере
Ни одна из витрин, которые мы читаем, не публикует его инструменты или настройки, которые он просит.
Что объявляет, просит и запускает, полностью
Устанавливайте плагины только от разработчиков, которым доверяете. Мы показываем то, что публикуют витрины, и не проверяем плагины.
Работает с
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
Ссылка в один клик открывает клиент, и он просит подтвердить, прежде чем добавить сервер.
По маркетплейсам, где он опубликован, и объявленному транспорту MCP, как их документирует каждый клиент. Плагины мы не тестируем.
Подключить
Команды и конфигурации собраны только из того, что объявляют витрины. Мы не запускаем их за вас и не проверяем плагины.
Как локальный MCP-сервер: пакет PyPI
Собрано из того, что объявляет 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"
]
}
}
}
Где опубликован
| Витрина | Статус | Версия | Числа | Проверен | Впервые замечен |
|---|---|---|---|---|---|
| Official MCP Registry (Открыть запись реестра) | Опубликован | 0.2.0 | Форки (GitHub): 0 Звёзды (GitHub): 1 |
Не помечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Как менялись числа
- 2026-11-041
- 2026-11-141
Каждая точка: день, когда мы прочитали другое число; ровные участки: дни, когда число не менялось. Числа разных витрин никогда не складываются.
Что менялось
- Official MCP Registry: выпущена версия 0.2.0 (была 0.1.0)
- Стал продуктом, за которым мы следим
- Official MCP Registry: появился
Похожие плагины
Продукты, чьи собственные названия, описания, инструменты и скиллы ближе всего по смыслу к этому, на всех витринах, которые мы читаем. Близость упорядочена только внутри этого списка.
-
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.
Похожие плагины по витринам
Тот же вопрос к каждой витрине по отдельности: есть ли там аналог этого плагина?
Есть на витрине 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.
Есть на витрине 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…
Есть на витрине 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…
Есть на витрине 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.
Есть на витрине 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.
Есть на витрине 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.
Есть на витрине 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…
Есть на витрине 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.
Есть на витрине 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).
Есть на витрине 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.
Есть на витрине 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.
Есть на витрине 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
Найдено по смыслу, а не по общему коду или репозиторию: похожие плагины остаются разными продуктами, и это не обзор и не рекомендация.
Хотите такой знак у своего плагина в нашем каталоге?
Докажите, что поддерживаете его, файлом в репозитории, файлом на вашем домене или DNS-записью, и сможете показать этот знак на карточке, а ещё живые баннеры для сайта и README. Как проходит подтверждение
Ещё вы будете получать уведомления, когда витрина добавит плагин, снимет его, изменит отметку verified или список того, что он просит, а его удалённый endpoint встанет на мониторинг как веб-сервис.
Данные витрины Official MCP Registry. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.