Browse the index

Tamper-evident memory + governance MCP for Claude Code, Cursor, Codex. Ships the Seatbelt kit.

hand-reviewed1 starschecked 32 days ago

Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management

hand-reviewed1 starschecked 37 days ago

Concurrent Builder + Breaker agents generate code and adversarial tests at once, gated in CI.

hand-reviewed1 starschecked 38 days ago

Local PDF, image, data and text tools for AI assistants. Files stay on your computer.

hand-reviewed1 starschecked 29 days ago

Stocks, fundamentals, FRED economics, SEC filings & crypto. x402 micropayments, $0.01/call.

hand-reviewed1 starschecked 2 mo ago

Read-only MCP access to presence: living project model and outcome telemetry.

hand-reviewed1 starschecked 35 days ago

Deterministic marketing math for AI agents: LTV:CAC, pipeline coverage, A/B tests, pricing.

hand-reviewed1 starschecked 19 days ago

Agentic fundraising intelligence: 950+ tracked VC funds and 751 disclosed LPs over MCP

hand-reviewed1 starschecked 2 mo ago

Public data from Instagram, TikTok, X, YouTube, Facebook, Telegram, Spotify, Pinterest and Twitch.

hand-reviewed1 starschecked 18 days ago

MCP server for Telegram serverless bots: lifecycle, deploys, migrations, webhooks via tgcloud CLI

hand-reviewed1 starschecked 30 days ago

Pokemon TCG MCP server: PSA grading, collection management, and multi-provider pricing.

hand-reviewed1 starschecked 29 days ago

MCP server for ISO 20022 acmt.001 account management message generation and validation.

hand-reviewed1 starschecked 2 mo ago

Bridge AP2 / x402 agent-payment mandates into wire-valid ISO 20022 pain.001 / pacs.008 records.

hand-reviewed1 starschecked 41 days ago

MCP server for parsing bank statements (BAI2, MT940/MT942, CAMT.053, OFX) via stdio.

hand-reviewed1 starschecked 2 mo ago

Generate + XSD-validate ISO 20022 E&I camt messages (camt.056 cancellation, camt.029 resolution).

hand-reviewed1 starschecked 41 days ago

Search code and symbols across every clone in your Corral workspace. Zero network calls.

hand-reviewed1 starschecked 29 days ago

Search code and symbols across every clone in your corralctl workspace. Zero network calls.

hand-reviewed1 starschecked 36 days ago

Local MCP server that serves and validates bank-specific ISO 20022 clearing profiles.

hand-reviewed1 starschecked 25 days ago

MCP server: seal & sign ISO 20022 readiness evidence into tamper-evident audit packs.

hand-reviewed1 starschecked 25 days ago

Unified ISO 20022 MCP gateway routing across the pain, pacs, camt and acmt message families.

hand-reviewed1 starschecked 41 days ago