Instructions file CodexOpenCode
Instructions for searlsco/prove_it, covering agent testing, the problem, the solution, how it works and verification.
not rated 199 4mo ago A 545 tokens
original MIT
2 tagged shovelware, measured the same way as everything else here.
Instructions file CodexOpenCode
Instructions for searlsco/prove_it, covering agent testing, the problem, the solution, how it works and verification.