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.6MITWhy this server?
Name begins with "PRO" and could be what the user typed; it provides search and retrieval over PROSPERO registered protocols.
AlicenseNot gradedqualityCmaintenanceMCP server for querying PROSPERO registered protocols, enabling search, retrieval, and registration workflow management.ISCWhy 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.
AlicenseCqualityAmaintenanceEnables 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 gradedqualityBmaintenanceEnables 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