-
Updated
Feb 8, 2026 - Go
#
proof-first
Here are 4 public repositories matching this topic...
Local-first ScreenMemory AI agent research: visual grounding, desktop automation, OCR, DXGI capture, and proof-first autonomous-agent architecture.
ocr computer-vision desktop-automation autonomous-agents dxgi visual-grounding ollama local-first-ai proof-first screenmemory
-
Updated
Jun 11, 2026
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
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."