#proof

Use Model Context Protocol with multiple Fireproof JSON document databases

Mirror of

MCPChain brings the Model Context Protocol to Web3 by anchoring agent tools, trust registries, and attestable executions on-chain.

This repository demonstrates a security vulnerability in MCP (Model Context Protocol ) servers that allows for remote code execution and data exfiltration through tool poisoning.

Python MCP server for controlled logic analysis from natural language, with an emphasis on auditable output and teaching-oriented explanations. ## What it does This server accepts short natural-language statements and arguments, then provides structured logic-oriented outputs such as: - controlled formalization into propositional logic; - controlled formalization into a restricted fragment of first-order logic; - ambiguity detection relevant to formalization; - consistency checking; - entailment checking; - simple counterexamples when entailment fails; - natural-language explanations of the formalization process.

AgentNull: AI System Security Threat Catalog + Proof-of-Concepts. Collection of PoCs for using Agents, MCP, and RAG in bad ways.

Get a crypto proof of funds letter — from inside your AI assistant. RealOpen is a crypto real estate platform that lets buyers purchase homes with Bitcoin, Ethereum, stablecoins, and other crypto, closing as cash buyers. Connect this MCP server to verify crypto wallets, generate proof of funds letters, and learn everything about buying real estate with crypto — fees, supported assets, timelines, and the full transaction flow.

Verify proof of address documents (utility bills, bank statements, government letters) with a single API call. Automated extraction, name/address matching, and instant results. Submit documents, check verification status, and download PDF reports directly from your AI assistant.

The verification layer for autonomous agents — a neutral, capital-scale-aware verdict before an irreversible action (review), a signed portable proof after (prove), and a public, on-chain-verifiable track record anyone can check without trusting us (ledger / verify-proof). Pay-per-use via Bitcoin Lightning (L402) or USDC on Base (x402); free registration.

LiveAuth MCP Server gives AI agents cryptographic proof-of-work + Lightning Network authentication. Agents solve a PoW challenge, get a signed JWT, and use it to call paid MCP tools. Each tool call is metered in sats and recorded as a signed revenue event with a verifiable receipt. Built on L402 (the Lightning-Native HTTP 402 protocol from Lightning Labs). Compatible with x402 (Cloudflare/Coinbase). Non-custodial — no KYC, no account, no email. Pay per call in sats over Lightning. Install: `npx -y @liveauth-labs/mcp-server` Docs: https://docs.liveauth.app/mcp-liveauth-gate Source: https://github.com/dulzuradev/liveauth-mcp