dev.pages.proofrun/proofrun
ProofRun: bounded HTTP acceptance checks for agent deployments. $0.01 USDC per pack.
Serveur MCP · par proofrun.pages.dev
Aperçu
dev.pages.proofrun/proofrun est un serveur MCP publié par proofrun.pages.dev. Places de marché que nous lisons et qui le référencent : 1 (Official MCP Registry). Nous l'avons vu pour la première fois le 2026-10-12 et n'avons enregistré aucun changement depuis. Selon notre passage sur les places de marché du 2026-10-13.
Ce qu'il demande
- S'exécute à distance
Aucune des places de marché que nous lisons ne publie ses outils ni les réglages qu'il demande.
Ce qu'il déclare, demande et exécute, en détail
N’installez que des plugins de développeurs en qui vous avez confiance. Nous reprenons ce que publient les places de marché et ne testons pas les plugins.
Fonctionne avec
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
Un lien en un clic ouvre le client, qui demande une confirmation avant d'ajouter le serveur.
D'après les marketplaces qui le listent et le transport MCP qu'il déclare, tels que chaque client les documente. Nous ne testons pas les plugins.
Connecter
Commandes et configurations construites uniquement à partir de ce que déclarent ses places de marché. Nous ne les exécutons pas pour vous et ne testons pas les plugins.
En serveur MCP distant
Construit à partir de ce que déclare 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"
}
}
}Où il est publié
| Place de marché | Statut | Version | Chiffres | Vérifié | Vu pour la première fois |
|---|---|---|---|---|---|
| Official MCP Registry (Ouvrir la fiche du registre) | Référencé | 0.1.0 | Aucun chiffre publié | Non marqué |
Chaque chiffre est celui de la place de marché et n'est jamais additionné entre places de marché. Une place de marché qui ne publie pas de chiffre n'en affiche aucun : pas de nombre ne veut pas dire zéro.
Ce qui a changé
- Est devenu un produit que nous suivons
- Official MCP Registry: apparu
Plugins similaires
Produits dont les noms, descriptions, outils et skills sont les plus proches de celui-ci par le sens, sur toutes les places de marché que nous lisons. La proximité n'est classée qu'à l'intérieur de cette liste.
-
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 similaires par place de marché
La même question posée à chaque place de marché séparément : y a-t-il là un équivalent de ce plugin ?
Référencé sur 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.
Référencé sur 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…
Référencé sur 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.
Référencé sur 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…
Référencé sur 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…
Référencé sur 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…
Référencé sur 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.
Référencé sur 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.
Référencé sur 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
Référencé sur 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.
Trouvés par le sens, et non par un code ou un dépôt commun : les plugins similaires restent des produits distincts, et ceci n'est ni un avis ni une recommandation.
C'est votre plugin ?
Ajoutez-le à vos projets et prouvez que vous le maintenez : un fichier dans son dépôt, un fichier sur votre domaine ou un enregistrement DNS. Vous recevez des alertes quand une marketplace le publie, le retire, change sa marque vérifiée ou ce qu'il demande, et son endpoint distant est surveillé comme un service web.
Données issues de Official MCP Registry. Les chiffres proviennent de nos propres passages réguliers sur les places de marché, dernière lecture le . Nous ne publions aucune coordonnée des éditeurs de plugins.