Instructions file CodexOpenCode
Instructions for codervisor/leanspec, covering ai agent instructions, project: leanspec, skills, spec-driven development (github-issue specs) and development & tooling.
286 3mo ago A 984 tokens
original MIT
286Stars on the repository
11Mods indexed here, across every type
3mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Instructions file
Instructions for codervisor/leanspec, covering claude.md — codervisor project standards, repository overview, coding conventions, general and rust repos (stiglab, ising).
286 3mo ago A 776 tokens
original MIT