Instructions file CodexOpenCode
An AGENTS.md instruction file for metamath-harness, a repository that includes automated setup guidance for AI coding environments. It also lists rules that must not be broken.
not rated 12
+1
changed yesterday A 493 tokens