dev.pages.proofrun/proofrun
ProofRun: bounded HTTP acceptance checks for agent deployments. $0.01 USDC per pack.
Servidor MCP · de proofrun.pages.dev
Resumo
dev.pages.proofrun/proofrun é um servidor MCP publicado por proofrun.pages.dev. Marketplaces que lemos e que o listam: 1 (Official MCP Registry). Vimos pela primeira vez em 2026-10-12 e não registramos mudanças desde então. Conforme nossa passagem pelos marketplaces em 2026-10-13.
O que pede
- Roda remotamente
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
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 remoto
Gerado a partir do que Official MCP Registry declara.
claude mcp add --transport http proofrun https://proofrun.pages.dev/mcp[mcp_servers.proofrun]
url = "https://proofrun.pages.dev/mcp"{
"mcpServers": {
"proofrun": {
"url": "https://proofrun.pages.dev/mcp"
}
}
}Onde está publicado
| Marketplace | Status | Versão | Números | Verificado | Visto pela primeira vez |
|---|---|---|---|---|---|
| Official MCP Registry (Abrir o registro) | Listado | 0.1.0 | Nenhum número publicado | 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
- Passou a ser um produto que acompanhamos
- Official MCP Registry: apareceu
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.
-
Receipt-based verification for AI agent workflows — create, verify, and poll ephemeral proof objects
-
proving-ground app.railway.up.proving-ground-production/proving-ground
Accounts-payable exception environment with a pass/fail verifier and proof packet: AI agents work AP
-
MCP server for the @agentutility prooflayer cluster — pay-per-call x402 tools, no API keys, USDC…
-
Local OpenAPI contract and breaking-change checks for AI agents.
-
Free MCP tools: the only MCP linter, health checks, cost estimation, and trust evaluation.
-
Deployment truth verification for AI agents. Verifies the live site matches the build.
-
autobrowserapproval-mcp com.clauxel.autobrowserapproval/autobrowserapproval-mcp
A paid remote MCP for AI agent browser approval MCP, built to return verdicts, receipts, usage logs,
-
ProofRail MCP Release Certifier
MCP deployment checks: required tools, schema drift and verifiable receipts. Free preflight.
-
Preflight QA for AI-agent deliverables with structured verdicts and repair guidance.
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)
-
agent-discover io.github.keshrath/agent-discover
Find, install and enable MCP servers mid-session on any host, with consent and tool pinning
-
LaunchDarkly agent skills and MCP servers for feature flag management, AI configuration, and metrics.
-
AI assistant skills and agents for PactFlow contract testing. Covers the full contract testing lifecycle — from writing and reviewing Pact consumer/provider tests to publishing…
-
evalview-mcp io.github.hidai25/evalview-mcp
Regression testing for AI agents. Golden baselines, CI/CD, LangGraph, CrewAI, OpenAI, Claude.
-
Deploy AI user personas to validate user journeys at scale. Find UX friction before real users do.
Listado em Claude Code: claude-plugins-official (5)
-
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.
-
playwright-mcp io.github.microsoft/playwright-mcp
Playwright Tools for MCP
-
Dynatrace observability skills: DQL query patterns, application and infrastructure monitoring, log analysis, problem investigation, and incident response workflows, with the…
-
Work with Postman from your agent: bootstrap a repo's Postman setup, mock an API before it's implemented, run collection and governance checks in CI, monitor a live endpoint…
-
Detect AI agents in your codebase and instrument them with Pendo Agent Analytics via the best-fit path: Python SDK, TypeScript SDK, client-side trackAgent, or the Conversations…
Listado em Claude: knowledge-work-plugins (5)
-
The Vanta plugin connects Claude Code to Vanta's security and compliance platform through the Vanta MCP server. It combines Vanta's test-specific remediation intelligence with…
-
A suite of agent skills for the full GrowthBook feature flag and experimentation lifecycle.
-
Hosted MCP server for AI-assisted Grafana Cloud observability — no local installation required.
-
Use Datadog directly in Claude Code through a preconfigured Datadog MCP server. Query logs, metrics, traces, dashboards, and more through natural conversation. This plugin is in…
-
Skills for working with Langfuse, the open-source LLM engineering platform for tracing, prompt management, and evaluation.
Listado em 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.
-
Cloudflare platform plugin with curated skills for Workers, Wrangler, and Agents SDK plus the official Cloudflare API MCP server.
-
CrowdStrike Falcon Foundry development skills for building cybersecurity applications on the Falcon platform. Includes UI development, collections, functions, workflows, API…
-
Test Android apps with emulator workflows for reproduction, screenshots, UI inspection, log capture, and performance profiling.
-
Available for US1 customers only. Analyze, investigate, and act on your Datadog telemetry directly from ChatGPT using natural language. Ask questions about your production…
Listado em 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.
-
Dynatrace observability skills: DQL query patterns, application and infrastructure monitoring, log analysis, problem investigation, and incident response workflows, with the…
-
Your agent asks humans on Salt and gets answers: messages, tap-to-answer cards, invoices.
-
Agentforce Agent Development Life Cycle — author, discover, scaffold, deploy, test, and optimize .agent files
-
Multi-workspace Slack MCP server with draft+confirm safety, vault auto-export, a
Multi-workspace Slack MCP server with draft+confirm safety, vault auto-export, and triple-mode…
Listado em Copilot CLI: github/awesome-copilot (5)
-
Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.
-
Three-agent workflow for orchestrated software delivery with an orchestrator plus implementation and QA subagents.
-
Skills and interactive Copilot canvas for designing, configuring, testing and deploying agents to Microsoft Foundry.
-
foundry-hosted-agent-copilotkit
Build CopilotKit + AG-UI web apps on Microsoft Foundry hosted agents (Microsoft Agent Framework): wiring, native Foundry primitives, human-in-the-loop approvals, azd deploy, and…
-
Helps GitHub Copilot investigate mobile app telemetry, diagnose crashes, manage [bitdrift](bitdrift.ai) workflows and dashboards, integrate the Capture SDK into iOS, Android, and…
Listado em Copilot CLI: github/copilot-plugins (5)
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
-
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…
-
Build Power Apps Canvas Apps using the Canvas Authoring MCP server.
-
mcp-apps
Generate MCP App widgets for MCP tools. Produces self-contained HTML widgets using the MCP Apps protocol.
-
Advanced Security plugin for GitHub Copilot.
Listado em Cursor: cursor/plugins (5)
-
CLI-backed repo compatibility scans plus agents that audit startup, validation, and docs against reality.
-
playwright-mcp io.github.microsoft/playwright-mcp
Playwright Tools for MCP
-
Fan large tasks out across parallel cloud agents with planners, workers, verifiers, and structured handoffs.
-
Build apps, scripts, and automations with the TypeScript SDK.
-
Scaffold and validate new agent plugins.
Listado em Docker MCP Catalog (5)
-
Give your AI agents trusted access to the full Postman platform.
-
MCP server for AI access to SmartBear tools, including BugSnag, Reflect, Swagger, PactFlow, QTM4J.
-
A unified MCP proxy that aggregates multiple MCP servers into one interface, enabling seamless tool discovery and management across all your AI interactions. Manage all your MCP…
-
Discover and connect to a curated marketplace of MCP servers for extending AI agent capabilities.
-
testkube-mcp io.github.kubeshop/testkube-mcp
MCP server for Testkube - Manage test workflows, executions, and artifacts via AI assistants
Listado em Official MCP Registry (4)
-
Receipt-based verification for AI agent workflows — create, verify, and poll ephemeral proof objects
-
proving-ground app.railway.up.proving-ground-production/proving-ground
Accounts-payable exception environment with a pass/fail verifier and proof packet: AI agents work AP
-
MCP server for the @agentutility prooflayer cluster — pay-per-call x402 tools, no API keys, USDC…
-
Local OpenAPI contract and breaking-change checks for AI agents.
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.
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.