io.github.beepboop2025/umbra-proof
Verify Umbra bridge accountability proofs (signed receipts, checkpoints, Merkle inclusion).
Servidor MCP · de beepboop2025
Resumo
io.github.beepboop2025/umbra-proof é um servidor MCP publicado por beepboop2025. Marketplaces que lemos e que o listam: 1 (Official MCP Registry). Vimos pela primeira vez em 2026-10-11 e não registramos mudanças desde então. Conforme nossa passagem pelos marketplaces em 2026-10-15.
O que pede
- Roda na sua máquina
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 local: imagem Docker
Gerado a partir do que Official MCP Registry declara.
claude mcp add --transport stdio umbra-proof -- docker run -i --rm ghcr.io/beepboop2025/umbra-proof-mcp:v0.1.2[mcp_servers.umbra-proof]
command = "docker"
args = ["run", "-i", "--rm", "ghcr.io/beepboop2025/umbra-proof-mcp:v0.1.2"]{
"mcpServers": {
"umbra-proof": {
"command": "docker",
"args": [
"run",
"-i",
"--rm",
"ghcr.io/beepboop2025/umbra-proof-mcp:v0.1.2"
]
}
}
}docker run -i --rm ghcr.io/beepboop2025/umbra-proof-mcp:v0.1.2Onde está publicado
| Marketplace | Status | Versão | Números | Verificado | Visto pela primeira vez |
|---|---|---|---|---|---|
| Official MCP Registry (Abrir o registro) | Listado | 0.1.2 | Forks (GitHub): 0 Estrelas (GitHub): 1 |
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
Nada mudou neste plugin desde que começamos a acompanhá-lo.
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.
-
invinoveritas com.babyblueviper/invinoveritas
Second opinion before an irreversible agent action; signed proofs, free verify, public ledger.
-
Zero-knowledge proof validator and cryptographic locker.
-
blockchain-verification-mcp io.github.CSOAI-ORG/blockchain-verification-mcp
Blockchain Verification MCP Server by MEOK AI Labs
-
zkverify io.github.zkarchitect/zkverify
Cryptographically verifiable blockchain data with Merkle proofs + ECDSA signing.
-
vtimestamp io.github.vdappdev2/vtimestamp
MCP server for verifying and querying vtimestamp proofs on the Verus blockchain
-
Verify blockchain timestamp proofs offline, or anchor a new one through ProofLedger.
-
GENESIS ProofRelay MCP Verifier
Read-only verifier for 25 ProofRelay MCP tools and non-confidential evidence bundles.
-
Governance proxy for MCP servers: allowlist, forced dry run, human confirmation, blast radius, audit
-
zero-core-verify io.github.meltingpixelsai/zero-core-verify
Post-tx outcome verification via LLM-as-judge. Zero Core Verify.
-
veritasacta-verify io.github.tomjwxf/veritasacta-verify
Offline receipt verifier. Ed25519 signature verification without contacting any server.
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)
-
Offline Ed25519 receipt verifier — checks signed decision receipts, agent manifests, and audit bundles without contacting any server.
-
Connect Claude to 15,000+ blockchain subgraphs via The Graph's Subgraph MCP server. Query DeFi, NFT, DAO, and governance data in natural language without writing GraphQL.
-
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
-
Ed25519-signs every tool call and appends to a hash-chained, tamper-evident audit log. Zero config — signing starts immediately after install. No native dependencies (embedded…
-
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…
Listado em Claude Code: claude-plugins-official (5)
-
Ship stablecoin apps faster. Best-practice skills for USDC payments, cross-chain transfers, wallets, and smart contracts — plus Circle's MCP server for real-time SDK and…
-
Connect Claude to a private MCP server through an Anthropic MCP tunnel. The /create-docker-mcp-tunnel command drives the Docker Compose quickstart end to end: certificates, proxy…
-
mcp-server io.github.cap-js/mcp-server
Model Context Protocol (MCP) server for AI-assisted development of CAP applications.
-
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.
-
Dynatrace observability skills: DQL query patterns, application and infrastructure monitoring, log analysis, problem investigation, and incident response workflows, with the…
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…
-
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…
-
Build and deploy Base44 full-stack apps with CLI project management and JavaScript/TypeScript SDK development skills
-
An authenticated hosted MCP server that accesses your PlanetScale organizations, databases, branches, schema, and Insights data. Query against your data, surface slow queries, and…
Listado em Codex: openai-curated (openai/plugins) (5)
-
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…
-
Comprehensive skill for the entire Temporal lifecycle — developing applications, using the Temporal CLI, running and managing Temporal Server, and working with Temporal Cloud.
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
-
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)
-
Read-only tools for live Midnight networks: health, transactions, DUST, errors and example code
-
Version-true web3 docs, ABIs and human-validated integration recipes over MCP.
-
Check if an MCP server's tool definitions changed after approval, from a signed public log.
-
Agent skill for BlockVectra: keyless EVM JSON-RPC, Data API, programmatic sign-up, pricing and top-up.
-
ai-agent-firewall com.fidacy/ai-agent-firewall
Every agent action watched, every money-moving one gated, every verdict independently verifiable.
Listado em 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 Kotlin using the official io.modelcontextprotocol:kotlin-sdk library. Includes instructions for best…
-
Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.
-
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…
-
Interactive GitHub Copilot canvas for discovering, connecting, and managing hosted MCP servers from an Azure Connector Namespace.
Listado em 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.
-
Advanced Security plugin for GitHub Copilot.
-
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.
-
Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.
Listado em Cursor: cursor/plugins (5)
-
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…
-
Build apps, scripts, and automations with the TypeScript SDK.
-
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
-
Skills for building on the Cursor Origin API. Fetch the live spec first, then follow the Origin rules for credentials, scopes, webhooks, paging, and errors. Includes a skill that…
Listado em Docker MCP Catalog (5)
-
VeyraX MCP is the only connection you need to access all your tools in any MCP-compatible environment.
-
Access to OpenZeppelin Stylus Contracts.
-
OpenZeppelin Stellar Contracts
Access to OpenZeppelin Stellar Contracts.
-
Access to Rube's catalog of remote MCP servers.
-
mcp io.github.hummingbot/mcp
MCP server exposing Hummingbot API for automated multi-exchange trading
Listado em Official MCP Registry (5)
-
invinoveritas com.babyblueviper/invinoveritas
Second opinion before an irreversible agent action; signed proofs, free verify, public ledger.
-
Zero-knowledge proof validator and cryptographic locker.
-
blockchain-verification-mcp io.github.CSOAI-ORG/blockchain-verification-mcp
Blockchain Verification MCP Server by MEOK AI Labs
-
zkverify io.github.zkarchitect/zkverify
Cryptographically verifiable blockchain data with Merkle proofs + ECDSA signing.
-
vtimestamp io.github.vdappdev2/vtimestamp
MCP server for verifying and querying vtimestamp proofs on the Verus blockchain
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.
Quer esta marca no seu plugin em nosso catálogo?
Prove que o mantém com um arquivo no repositório, um arquivo no seu domínio ou um registro DNS, e você poderá mostrar esta marca na ficha, com banners ao vivo para o seu site e o README. Como funciona a verificação
Você também 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.