Instructions file
Claude Code instructions for plclub/hs-to-rocq, covering claude.md, project overview, build commands, ci commands and architecture.
96 1mo ago B 6,009 tokens
original MIT
Instructions file CodexOpenCode
AGENTS.md instructions for hotdocx/emdash, covering repository guidance, scope and authority, package and worktree setup, starting a root typescript task and persistent goals and git experimentation.
2 3d ago A 2,268 tokens