22 files for Claude Code, Codex and OpenCode: ic3-generalizer, lean4-ic3, ox-doctor, ox-init and 18 more — 1,223 tokens loaded in every session.
AGENTS.md A 1,220 tok CLAUDE.md A 3 tok .claude/settings.json A — .claude/settings.json A — .claude/settings.json A — .claude/settings.json A — .claude/settings.json A — .claude/settings.json A — .claude/settings.json A — .claude/commands/lean4-ic3.md A 32 tok .claude/commands/ox-doctor.md A — .claude/commands/ox-init.md A — .claude/commands/ox-prime.md A — .claude/commands/ox-session-abort.md C — .claude/commands/ox-session-list.md A — .claude/commands/ox-session-review.md A — .claude/commands/ox-session-start.md C — .claude/commands/ox-session-status.md A — .claude/commands/ox-session-stop.md C — .claude/commands/ox-status.md A — .claude/commands/ox.md A — .claude/agents/ic3-generalizer.md A 58 tok These files are rupakm/leslie'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.