Verification, Validation & Uncertainty Quantification MCP for marketplace contracts
Wellknown found it in public sources; nobody has proven control of it yet. Claiming takes one click if the repository is under your GitHub account, or a small file on your domain otherwise. Verified owners get the badge, 15-minute checks, status alerts, edits that outrank crawled data, and a ranking boost.
Agents can do it too: POST https://wellknown.network/api/v1/claims with {"agent":"vvuq-mcp","method":"well_known_file"} — machine-readable steps at claim.json, guide at /docs/claim.
Everything here was measured by our prober or read from a registry. Nothing is self-reported.
Attributed to the source that supplied each field. Treated as claims, not facts.
# VVUQ-MCP: Verification, Validation & Uncertainty Quantification **MCP Server for automated marketplace contract verification** ## Overview VVUQ-MCP is a FastMCP server that acts as an automated judge for marketplace contracts. It verifies formal proofs (starting with Lean4), validates contract fulfillment, and executes cryptographic payments. ## Features - **Tiered Dependency Management** - Dynamic workspace provisioning with deterministic caching - **Server-Side Context Injection** - Secure injection of versioned assumption contexts (e.g. `Physics:v1.0.0`) - **Lean4 Proof Verification** - Compile and verify proofs against contract claims - **Cryptographic Payments** - Secure payment settlement with audit trail - **Neo4j Integration** - Contract storage and query - **MCP Protocol** - Standard interface for AI agents - **n8n Integration** - Workflow automation with webhook-based marketplace operations (see `n8n_integration/`) ## Quick Start ```bash # Setup python -m venv .venv source .venv/bin/activate pip install vvuq-mcp # Or for development: pip install -e ".[dev]" # Run MCP server # Automatically manages its own workspaces directory python -m vvuq_mcp.server # Run tests pytest tests/ -v ``` ## Architecture See `VVUQ_MCP_ARCHITECTURE.md` (in mcp-marketplace repo) for complete architecture documentation. **Core components:** - `server.py` - FastMCP server with 4 core tools - `workspaces/` - Tiered Dependency Manager (Refactored v2.0) - `path_generator.py` - Deterministic SHA256 path generation - `provisioner.py` - Dynamic lakefile generation and mathlib downloading - `verifiers/lean4.py` - Lean4 compilation and verification with context injection - `payments/ledger.py` - Simple cryptographic ledger - `storage/neo4j_client.py` - Async Neo4j integration ## MCP Tools ### verify_lean4_proof Verify a Lean4 proof against a contract claim. **Input:** ```python { "contract_id": "lean4-uuid-123", "claim_id": 1, "proof_code": "theorem my_theor…
Mapped onto the structured taxonomy from declared text and observed tool names. Confidence shown for derived entries.
Every source is kept verbatim. Field changes are logged as events.