A
licenseA
qualityD
maintenanceAn MCP server that exposes the Prova reasoning verifier, enabling AI agents to verify their own reasoning and kernel-check Lean 4 proofs before outputting answers.
5
MIT
Why this server?
Closest lexical and conceptual match to "provio": the Prova reasoning verifier lets agents verify their own reasoning and kernel-check Lean 4 proofs, fitting a search for a proof/verification tool.
Why this server?
Exposes a W3C PROV knowledge graph of verified facts with provenance — strongly aligned with a "prov"-style query about provenance data.
AlicenseAqualityCmaintenanceRead-only MCP server exposing a W3C PROV knowledge graph of verified facts with provenance, enabling AI agents to list, search, and check facts while enforcing that writes remain CLI-only.5MITWhy this server?
Issues cryptographic Provenance Data Records proving an artifact existed at a specific time, matching prov/provenance semantics.
AlicenseNot gradedqualityAmaintenanceOTrust issues cryptographic PDRs (Provenance Data Records) — proving a digital artifact existed at a specific time. $0.01 per proof. Blockchain-anchored. Publicly verifiable.1MITWhy this server?
Verifies receipt-chain integrity and evidence bundles for agent actions, a provenance-and-verification service relevant to a prov-style search.
AlicenseAqualityFmaintenanceRead-only ProofRelay MCP verifier for non-confidential evidence bundles. Exposes 22 public-safe tools, 11 resources, and 11 prompts for bundle integrity checks, receipt-chain review, checkpoint recommendations, MCP risk metadata review, and real-estate closing proof-pack readiness.5MITWhy this server?
Records, queries, verifies, and serves hash-chained event provenance, directly covering provenance tracking.
AlicenseNot gradedqualityAmaintenanceEnables agents and applications to record, query, verify, and receive hash-chained event provenance over stdio, supporting self-metering and independent audit of autonomous system activity.41 PyPI6MITWhy this server?
Name begins with "PRO" and could be what the user typed; it provides search and retrieval over PROSPERO registered protocols.
FlicenseNot gradedqualityAmaintenanceMCP server for querying PROSPERO registered protocols, enabling search, retrieval, and registration workflow management.-Why this server?
Provides mathematical proof exploration and verification with independently checkable certificates, matching the proof/verification theme.
Why this server?
Normalizes multimodal evidence into provenance metadata for deterministic, read-only review — a provenance-focused fit.
AlicenseCqualityBmaintenanceEnables deterministic, read-only multimodal evidence review by normalizing text, tables, PDFs, images, and screenshots into provenance metadata, with optional controlled filesystem access and no provider calls.1MITWhy this server?
Supports proof-carrying execution with Project Passports, verification records, and evidence-backed comparisons.
AlicenseNot gradedqualityCmaintenanceEnables proof-carrying project execution through a read-only remote MCP endpoint and WebMCP tools for managing Project Passports, task graphs, evidence-backed provider comparisons, route approvals, artifacts, verification records, and checkpoints without executing external providers.MIT