Instructions file CodexOpenCode
Instructions for epfl-lara/LeanProbe, covering agents.md, working on this repo and the bundled skill.
4 2mo ago B 1,005 tokens
original MIT
4Stars on the repository
2Mods indexed here, across every type
2mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown