Agent Runtime Proof
Verify whether a local Agent or MCP runtime matches an approved artifact.
MCP server · by fantasyce
About
Agent Runtime Proof is an MCP server published by fantasyce. Marketplaces we read that list it: 1 (Official MCP Registry). We first saw it on 2026-10-11 and have recorded no change since. As of our marketplace pass on 2026-10-13.
What it asks for
- Runs on your machine
None of the marketplaces we read publishes its tools or the settings it asks for.
What it declares, asks for and runs, in full
Only install plugins from developers you trust. We list what marketplaces publish and do not test plugins.
Works with
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
From the marketplaces that list it and the MCP transport it declares, as each client documents them. We do not test plugins.
Connect
No data for an automatic command: what its marketplaces declare does not say unambiguously how to connect it.
Where it is published
| Marketplace | Status | Version | Figures | Verified | First seen |
|---|---|---|---|---|---|
| Official MCP Registry (Open the registry record) | Listed | 1.1.0 | Forks (GitHub): 1 Stars (GitHub): 1 |
Not marked |
Each figure is the marketplace's own and is never added up across marketplaces. A marketplace that publishes no figure shows none: no number is not zero.
What changed
Nothing has moved on this plugin since we started watching it.
Similar plugins
Products whose own names, descriptions, tools and skills are closest in meaning to this one, on every marketplace we read. Closeness is ranked within this list only.
-
Deployment truth verification for AI agents. Verifies the live site matches the build.
-
Static blast-radius audit for MCP servers before agent install. Manifest optional.
-
Evaluate an MCP server with passmcp and verify its attestations, from inside the agent. Read-only.
-
mcp io.github.Postcept/mcp
Verify agent actions against the system of record and get signed completion receipts.
-
MCP Verification Gate: check an MCP server or an A2A agent before you connect or delegate
Check an A2A agent before you delegate, or an MCP server's measured conduct. Free, no key.
-
Deterministic JSON checks with signed evidence and x402-paid execution
-
Security audit for AI agents: code, deps, exposure, secrets, drift, SBOM, and IoC.
-
ProofRail MCP Release Certifier
MCP deployment checks: required tools, schema drift and verifiable receipts. Free preflight.
-
A verified dependency-audit verdict any AI agent can call over MCP, not a raw scan.
-
agent-guard-mcp io.github.liminalpepe/agent-guard-mcp
Verify-before-act safety checks for AI agents: packages, lockfiles, manifests, CI workflows.
Similar plugins by marketplace
The same question asked of one marketplace at a time: is there an analog of this plugin there?
Has a listing on 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
-
Secure MCP servers with OAuth 2.1, token introspection, dynamic client registration, and CIMD so AI agents can call your MCP tools with verified identities
-
MCP security gateway that wraps any MCP server with per-tool policies, Ed25519-signed decision receipts, and human approval gates. Shadow mode (default) logs every tool call…
-
artillery-mcp io.github.kosiakMD/artillery-mcp
MCP server for Artillery 2.x — full flags, Fargate, raw-text parser, project launcher (MIT)
-
evalview-mcp io.github.hidai25/evalview-mcp
Regression testing for AI agents. Golden baselines, CI/CD, LangGraph, CrewAI, OpenAI, Claude.
Has a listing on 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.
-
Agentforce Agent Development Life Cycle — author, discover, scaffold, deploy, test, and optimize .agent files
-
mcp-server io.github.cap-js/mcp-server
Model Context Protocol (MCP) server for AI-assisted development of CAP applications.
-
Set up endorctl and use Endor Labs to scan, prioritize, and fix security risks across your software supply chain
-
mdk-mcp-server io.github.SAP/mdk-mcp-server
Model Context Protocol (MCP) server for AI-assisted development of MDK applications.
Has a listing on 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…
-
MCP server for terminal commands, file operations, and process management
-
Hosted MCP server for AI-assisted Grafana Cloud observability — no local installation required.
-
Figma design platform integration. Access design files, extract component information, read design tokens, and translate designs into code. Bridge the gap between design and…
-
Official Buildkite skills for Claude Code, Cursor, and other AI coding agents — pipelines, migration, preflight, agent runtime, CLI, and API
Has a listing on Codex: openai-curated (openai/plugins) (5)
-
Codex Security workflows for security scans, analysis, and investigation.
-
Test Android apps with emulator workflows for reproduction, screenshots, UI inspection, log capture, and performance profiling.
-
CrowdStrike Falcon Foundry development skills for building cybersecurity applications on the Falcon platform. Includes UI development, collections, functions, workflows, API…
-
CrowdStrike Falcon Fusion skills for authoring, deploying, and executing Fusion workflows. Includes live action discovery, YAML authoring with schema validation, workflow import…
-
Available for US1 customers only. Analyze, investigate, and act on your Datadog telemetry directly from ChatGPT using natural language. Ask questions about your production…
Has a listing on Community GitHub marketplaces (5)
-
agent-discover io.github.keshrath/agent-discover
Find, install and enable MCP servers mid-session on any host, with consent and tool pinning
-
Inspect agent service scope and filtered security receipts.
-
Check if an MCP server's tool definitions changed after approval, from a signed public log.
-
mcpship: check and publish MCP servers
Checks a remote MCP server against the Claude directory rules and guides its publication.
-
basicdeploy-mcp io.github.AkaciaNL/basicdeploy-mcp
The runtime your agent deploys to — DB, storage, and a public URL in one MCP call.
Has a listing on 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…
-
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.
-
Complete toolkit for building Model Context Protocol (MCP) servers in Kotlin using the official io.modelcontextprotocol:kotlin-sdk library. Includes instructions for best…
-
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…
Has a listing on 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.
-
Advanced Security plugin for GitHub Copilot.
-
power-automate
Build, edit, run, and debug Power Automate cloud flows via the FlowAgent MCP server — connection lifecycle, surgical edits, copy across environments, run management, and validated…
-
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…
Has a listing on Cursor: cursor/plugins (5)
-
CLI-backed repo compatibility scans plus agents that audit startup, validation, and docs against reality.
-
Scaffold and validate new agent plugins.
-
Let Grok Bot reach MCP servers on your private Tailscale network. Sign in to Tailscale to connect your tailnet; Grok Bot joins it as one tagged device and only reaches the hosts…
-
Thermo-nuclear branch review: deep security/correctness audits, harsh code-quality rubrics, parallel subagents, thermos orchestration, and optional merge-ready PR flows.
-
playwright-mcp io.github.microsoft/playwright-mcp
Playwright Tools for MCP
Has a listing on Docker MCP Catalog (5)
-
A comprehensive security scanner for MCP servers with YARA rules and static analysis capabilities.
-
Dynatrace-mcp io.github.dynatrace-oss/Dynatrace-mcp
[DEPRECATED] Dynatrace MCP Server. Migrate to dynatrace-for-ai or Dynatrace Remote MCP Server.
-
testkube-mcp io.github.kubeshop/testkube-mcp
MCP server for Testkube - Manage test workflows, executions, and artifacts via AI assistants
-
stackhawk com.stackhawk/stackhawk
An MCP server that provides interaction with StackHawk's security scanning platform.
-
npm-sentinel-mcp io.github.Nekzus/npm-sentinel-mcp
Advanced NPM analysis: Recursive security scanning, ecosystem awareness, and deep insights.
Has a listing on Official MCP Registry (5)
-
Deployment truth verification for AI agents. Verifies the live site matches the build.
-
Static blast-radius audit for MCP servers before agent install. Manifest optional.
-
Evaluate an MCP server with passmcp and verify its attestations, from inside the agent. Read-only.
-
mcp io.github.Postcept/mcp
Verify agent actions against the system of record and get signed completion receipts.
-
MCP Verification Gate: check an MCP server or an A2A agent before you connect or delegate
Check an A2A agent before you delegate, or an MCP server's measured conduct. Free, no key.
Found by meaning, not by shared code or a shared repository: similar plugins stay separate products, and this is not a review or a recommendation.
Is this your plugin?
Add it to your projects and prove you maintain it with a file in its repository, a file on your domain or a DNS record. You get alerts when a marketplace lists it, drops it, changes its verified mark or what it asks for, and its remote endpoint goes on monitoring as a web service.
Data comes from the Official MCP Registry (registry.modelcontextprotocol.io), CC0 1.0. Figures come from our own regular passes over the marketplaces, last read on . We publish no contact details for plugin publishers.