joelreymont

joelreymont/pz

Skill Claude CodeCodex

Build and check Lean 4 proofs. Triggers: "lean build", "check proofs", "run lean", "verify proofs", "lean".

joelreymont/pz

Skill Claude CodeCodex

Release pz with GitHub Actions. Bumps version in build.zig.zon, tags, pushes, and monitors CI. Use when user says "release", "bump version", "bump patch", "bump minor", "bump major", "cut a release", or "publish".

joelreymont/pz

Skill Claude CodeCodex

Check proof-code sync and rebuild proofs. Triggers: "sync proofs", "check proofs sync", "are proofs stale", "proof sync".

joelreymont/pz

Skill Claude CodeCodex

Run TLA+ model checker on thread dispatch spec. Triggers: "run tla", "check tla", "model check", "verify threads", "tla+", "check dispatch".

joelreymont/pz

Instructions file CodexOpenCode

Instructions for joelreymont/pz, covering agent rules, mission, core constraints, read window rule and trace rule.

joelreymont/pz

Instructions file

Instructions for joelreymont/pz, a project described as: Minimal pi coding-agent re-implementation in Zig.