Minimal pi coding-agent re-implementation in Zig
Latest release v0.1.8 · 23 Feb 2026
6 files for Claude Code, Codex and OpenCode: lean, release, sync-proofs, tla and 2 more — 1,186 tokens loaded in every session.
AGENTS.md A 1,183 tok CLAUDE.md A 3 tok .claude/skills/lean/SKILL.md C 32 tok .claude/skills/release/SKILL.md A 64 tok .claude/skills/sync-proofs/SKILL.md A 33 tok .claude/skills/tla/SKILL.md A 41 tok These files are joelreymont/pz's own configuration — they tell Claude Code, Codex and OpenCode how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.