Proof-first contribution gate for public Python/pytest repositories. Bring proof, not patches.
-
Updated
Aug 13, 2026 - TypeScript
#
proof-first
Here are 5 public repositories matching this topic...
xecution-free finality for Ethereum. VERDICT anchors only the existence of a final judgment as a hash. Execution, proofs, and verification happen off-chain. If the hash matches, it happened. If not, it never happened.
distributed-systems ethereum formal-verification system-architecture finality zk-proofs protocol-design execution-free proof-first observer-verification
-
Updated
Feb 3, 2026 - Solidity
Proof-first tools for AI agents. So humans stay accountable when machines fail.
-
Updated
Apr 27, 2026
-
Updated
Feb 8, 2026 - Go
Skynet AI — local-first autonomous agent with visual grounding, non-linear (graph-of-thought) reasoning, hybrid memory, and proof-first orchestration. Research repository.
cli computer-vision desktop-automation skynet autonomous-agents visual-grounding ai-agent local-first-ai skynet-ai proof-first
-
Updated
Aug 10, 2026
Improve this page
Add a description, image, and links to the proof-first topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the proof-first topic, visit your repo's landing page and select "manage topics."