Instructions file
Claude Code instructions for Certora/AutoProver, covering repository conventions for coding agents, pre-validating a commit, python and do not use from future import annotations.
11 2d ago A 955 tokens
GPL-3.0
11Stars on the repository
3Mods indexed here, across every type
2d agoLast push, which is what freshness is scored on
GPL-3.0Licence, which decides whether bodies are shown