Searching protocol for "paperMod"
Verify constraints with proofs and runtime checks.
Notebook workflows inside Claude Code.