dev.pages.proofrun/proofrun
ProofRun: bounded HTTP acceptance checks for agent deployments. $0.01 USDC per pack.
Servidor MCP · de proofrun.pages.dev
Resumen
dev.pages.proofrun/proofrun es un servidor MCP publicado por proofrun.pages.dev. Marketplaces que leemos y que lo publican: 1 (Official MCP Registry). Lo vimos por primera vez el 2026-10-12 y desde entonces no hemos registrado cambios. Según nuestra pasada por los marketplaces del 2026-10-13.
Qué pide
- Se ejecuta en remoto
Ninguno de los marketplaces que leemos publica sus herramientas ni los ajustes que pide.
Lo que declara, pide y ejecuta, completo
Instale solo plugins de desarrolladores en los que confíe. Mostramos lo que publican los marketplaces y no probamos plugins.
Funciona con
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
Un enlace de un clic abre el cliente, que pide confirmación antes de añadir el servidor.
Según los marketplaces que lo listan y el transporte MCP que declara, tal como lo documenta cada cliente. No probamos plugins.
Conectar
Comandos y configuraciones generados solo a partir de lo que declaran sus marketplaces. No los ejecutamos por usted ni probamos plugins.
Como servidor MCP remoto
Generado a partir de lo que declara Official MCP Registry.
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"
}
}
}Dónde está publicado
| Marketplace | Estado | Versión | Cifras | Verificado | Visto por primera vez |
|---|---|---|---|---|---|
| Official MCP Registry (Abrir el registro) | Publicado | 0.1.0 | Sin cifra publicada | Sin marca |
Cada cifra es del propio marketplace y nunca se suma entre marketplaces. Un marketplace que no publica cifras no muestra ninguna: sin número no es cero.
Qué cambió
- Pasó a ser un producto que seguimos
- Official MCP Registry: apareció
Plugins similares
Productos cuyos propios nombres, descripciones, herramientas y skills son los más cercanos a este por su significado, en todos los marketplaces que leemos. La cercanía se ordena solo dentro de esta 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 similares por marketplace
La misma pregunta a cada marketplace por separado: ¿hay allí un equivalente de este plugin?
Publicado en 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.
Publicado en 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…
Publicado en 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.
Publicado en 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…
Publicado en 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…
Publicado en 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…
Publicado en 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.
Publicado en 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.
Publicado en 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
Publicado en 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 por significado, no por código ni repositorio compartidos: los plugins similares siguen siendo productos distintos, y esto no es una reseña ni una recomendación.
¿Es tu plugin?
Añádelo a tus proyectos y demuestra que lo mantienes con un archivo en su repositorio, un archivo en tu dominio o un registro DNS. Recibirás avisos cuando un marketplace lo publique, lo retire, cambie su marca verificada o lo que pide, y su endpoint remoto quedará monitorizado como un servicio web.
Datos de Official MCP Registry. Las cifras proceden de nuestros propios recorridos periódicos por los marketplaces, leída por última vez el . No publicamos datos de contacto de los editores de plugins.