3 files for Claude Code: generate-tape, inspect-run, AutoProver CLAUDE.md — 955 tokens loaded in every session.
CLAUDE.md A 955 tok .claude/skills/generate-tape/SKILL.md A 177 tok .claude/skills/inspect-run/SKILL.md A 269 tok These files are Certora/AutoProver's own configuration — they tell Claude Code 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.