A
licenseA
qualityC
maintenanceAudits coding agents' claimed actions against the actual Git working tree, blocking completion if any claimed changes are unverified.
2
MIT
execution-proofs
Related Servers
Alternatives to execution-proofs
No user-submitted related servers found.
Related Servers
- AlicenseCqualityDmaintenanceEnables acceptance gates for AI coding-agent runs by recording evidence, running deterministic validation, applying a quality gate, and rendering auditable outcomes.7Apache 2.0
- FlicenseNot gradedqualityCmaintenanceVerifies AI agent actions by exercising public web surfaces and returning evidence-based pass/fail verdicts on real outcomes, rather than trusting self-reported success messages.-
- AlicenseCqualityBmaintenanceA fail-closed preflight, approval, evidence, and verification runtime for agents, preventing unsupported output from being treated as verified completion.3MIT
- AlicenseAqualityCmaintenanceEnables agents to verify real-world assertions like content being posted or PRs merged by fetching live evidence from URLs and GitHub, returning a verified boolean plus raw evidence.318 npmMIT
- AlicenseNot gradedqualityCmaintenanceEnables AI agents to run evidence QC gates mid-workflow—checking claims, sources, prose, and vault hygiene deterministically before research ships.MIT
TDQS
B3/5.0
Scored across 1 tool
Disambiguation5/5
Only one tool exists, so there is no risk of ambiguity. The tool's purpose is clearly defined.
Naming Consistency5/5
The single tool uses a clear verb_noun pattern with snake_case, which is consistent with common conventions.
Tool Count2/5
Having only one tool for a server named 'execution-proofs' feels insufficient. Most servers in this domain would have multiple tools for different operations, making this count too low for the apparent scope.
Completeness1/5
The tool set is severely incomplete for execution proofs. It only verifies claims but lacks tools to submit proofs, create claims, list proofs, or manage any lifecycle, leading to dead ends for agents.
Maintenance
ActivityMaintained
ResponsivenessNo issues