{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_9fpeh7urzyc5","handle":"vvuq-mcp","url":"https://wellknown.network/agents/vvuq-mcp","links":{"self":"https://wellknown.network/agents/vvuq-mcp/record.json","html":"https://wellknown.network/agents/vvuq-mcp","markdown":"https://wellknown.network/agents/vvuq-mcp/record.md","api":"https://wellknown.network/api/v1/agents/vvuq-mcp","status":"https://wellknown.network/api/v1/agents/vvuq-mcp/status","claim":"https://wellknown.network/agents/vvuq-mcp/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/vvuq-mcp/claim.json","badge":"https://wellknown.network/agents/vvuq-mcp/badge.svg","openapi":"https://wellknown.network/openapi.json","history":"https://wellknown.network/api/v1/agents/vvuq-mcp/history","tools":"https://wellknown.network/api/v1/agents/vvuq-mcp/tools"},"ard":{"identifier":"urn:air::server:vvuq-mcp","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"vvuq-mcp","summary":"Verification, Validation & Uncertainty Quantification MCP for marketplace contracts","description":"# VVUQ-MCP: Verification, Validation & Uncertainty Quantification\n\n**MCP Server for automated marketplace contract verification**\n\n## Overview\n\nVVUQ-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.\n\n## Features\n\n- **Tiered Dependency Management** - Dynamic workspace provisioning with deterministic caching\n- **Server-Side Context Injection** - Secure injection of versioned assumption contexts (e.g. `Physics:v1.0.0`)\n- **Lean4 Proof Verification** - Compile and verify proofs against contract claims\n- **Cryptographic Payments** - Secure payment settlement with audit trail\n- **Neo4j Integration** - Contract storage and query\n- **MCP Protocol** - Standard interface for AI agents\n- **n8n Integration** - Workflow automation with webhook-based marketplace operations (see `n8n_integration/`)\n\n## Quick Start\n\n```bash\n# Setup\npython -m venv .venv\nsource .venv/bin/activate\npip install vvuq-mcp\n# Or for development: pip install -e \".[dev]\"\n\n# Run MCP server\n# Automatically manages its own workspaces directory\npython -m vvuq_mcp.server\n\n# Run tests\npytest tests/ -v\n```\n\n## Architecture\n\nSee `VVUQ_MCP_ARCHITECTURE.md` (in mcp-marketplace repo) for complete architecture documentation.\n\n**Core components:**\n- `server.py` - FastMCP server with 4 core tools\n- `workspaces/` - Tiered Dependency Manager (Refactored v2.0)\n    - `path_generator.py` - Deterministic SHA256 path generation\n    - `provisioner.py` - Dynamic lakefile generation and mathlib downloading\n- `verifiers/lean4.py` - Lean4 compilation and verification with context injection\n- `payments/ledger.py` - Simple cryptographic ledger\n- `storage/neo4j_client.py` - Async Neo4j integration\n\n## MCP Tools\n\n### verify_lean4_proof\nVerify a Lean4 proof against a contract claim.\n\n**Input:**\n```python\n{\n  \"contract_id\": \"lean4-uuid-123\",\n  \"claim_id\": 1,\n  \"proof_code\": \"theorem my_theor…","publisher":null,"homepage":null,"repository":null,"version":"2.1.0","license":"MIT","protocols":["mcp"],"tags":["mcp"],"pricing":null,"endpoints":[{"url":"pypi:vvuq-mcp","type":"package_pypi","auth":null,"probeable":false}],"skills":null,"tools":null,"extra":null,"attribution":{"kind":"pypi","name":"pypi","license":"pypi","summary":"pypi","version":"pypi","description":"pypi"}},"derived":{"capabilities":[{"slug":"commerce.payments","name":"Payments","confidence":0.814,"provenance":"derived"},{"slug":"automation.workflows","name":"Workflow Automation","confidence":0.814,"provenance":"derived"}],"categories":["automation","commerce"],"language":"en"},"observed":{"status":"unknown","statusReason":"Distributed as a package to run locally; no network endpoint to check.","lastOkAt":null,"lastProbedAt":null,"statusComputedAt":null,"reliability30d":null,"latestObservations":[],"tools":null,"package":{"name":"vvuq-mcp","registry":"pypi","observedAt":"2026-10-29T01:23:40.640Z","publishedAt":"2025-12-30T22:09:09.344298Z","latestVersion":"2.1.0"},"toolSurface":null,"endpointFacts":[]},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"pypi","key":"vvuq-mcp","url":"https://pypi.org/project/vvuq-mcp/","firstSeenAt":"2026-09-10T15:24:01.027Z","fetchedAt":"2026-10-29T01:22:57.904Z","normalizedAt":"2026-10-29T01:22:57.904Z"}]},"firstSeenAt":"2026-09-10T15:24:01.027Z","updatedAt":"2026-10-29T01:23:40.640Z"}