A
licenseNot graded
qualityC
maintenanceEnables zero-knowledge proof generation and verification, identity verification, and gate checks for privileged agent actions.
Apache 2.0
vcc-prover
OfficialRelated Servers
Alternatives to vcc-prover
No user-submitted related servers found.
Related Servers
- AlicenseNot gradedqualityCmaintenanceEnables autonomous agents to emit zero-knowledge attestations of their internal state hash and DID, anchor commitments to Base, and verify proofs via Aleo snarkVM.MIT
- AlicenseNot gradedqualityCmaintenanceSelf-hosted CLI and MCP interface for ZKResistor privacy pools on TON, enabling local Groth16 proof generation and pool operations.1 npm2MIT
- FlicenseNot gradedqualityCmaintenanceLets agents pay x402-protected endpoints privately on Stellar using zero-knowledge proofs, with tools to create wallets, deposit funds, and pay endpoints while revealing only a nullifier.-
- AlicenseNot gradedqualityAmaintenanceEnables AI agents to query cryptographically verified facts with zero-knowledge proofs, selective disclosure, and tamper-evident provenance.192 npm1Apache 2.0
- AlicenseAqualityCmaintenanceZero-knowledge proof generation MCP server. AI agents can prove identity claims (Coinbase KYC, Country, Google OIDC, Google Workspace, Microsoft 365) without revealing personal data. Runs in AWS Nitro Enclave TEE with x402 USDC payments.6MIT
TDQS
A4.3/5.0
Scored across 3 tools
Disambiguation5/5
Each tool maps to a clearly distinct lifecycle stage: generating proofs, verifying proofs, and reporting environment status. There is no overlap in purpose or output.
Naming Consistency4/5
prove and verify follow a clean verb pattern, while status is a noun rather than a verb. The naming is still predictable and readable, with only a minor deviation.
Tool Count5/5
Three tools is well-scoped for a focused proving/verification utility. Each tool earns its place without unnecessary surface area.
Completeness5/5
The set covers the essential proof lifecycle: create a proof, verify a proof, and check toolchain readiness. There are no obvious gaps or dead ends for the stated purpose.
Maintenance
ActivityMaintained
ResponsivenessNo issues