spike: portable verification — shared MCP tools + proof-guarded submit_verdict (MVP) - #1640
Open
fayekelmith wants to merge 14 commits into
Open
spike: portable verification — shared MCP tools + proof-guarded submit_verdict (MVP)#1640fayekelmith wants to merge 14 commits into
fayekelmith wants to merge 14 commits into
Commits
Commits on Sep 3, 2026
- committed
- committed
- committed
Commits on Sep 4, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed