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