joelreymont/pz

Minimal pi coding-agent re-implementation in Zig

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.

95Stars on the repository

6Files it configures its agents with

1,186Tokens loaded in every session

3Agents configured

Instructions

pz AGENTS.md AGENTS.md A 1,183 tok
pz CLAUDE.md CLAUDE.md A 3 tok

Skills

lean .claude/skills/lean/SKILL.md C 32 tok
release .claude/skills/release/SKILL.md A 64 tok
sync-proofs .claude/skills/sync-proofs/SKILL.md A 33 tok
tla .claude/skills/tla/SKILL.md A 41 tok