outlinedriven/odin-codex-plugin
type-driven
Type-driven development. Use when developing with refined types, state machines encoded in types, or proof-carrying types; enforces totality and exhaustive…
Installation
npx skills add https://github.com/outlinedriven/odin-codex-plugin
Similar popular skills
Related neighbors and high-traction skills in the same topics — useful to compare before installing.
Improve AI application with evaluation-driven development. Define eval criteria, instrument the…
3.9K installsRebuild a package's unit test suite around a behavior specification (SPEC.md) derived from the …
58 installsUse when implementing any feature or bugfix, before writing implementation code
220.2K installsUse when executing implementation plans with independent tasks in the current session
198.9K installsCreates specs before coding. Use when starting a new project, feature, or significant change an…
33.8K installsDrives development with tests using the red-green-refactor loop. Use when implementing any logi…
31.8K installsAlso in this package
Other skills from outlinedriven/odin-codex-plugin · top by installs.
npx skills add https://github.com/outlinedriven/odin-codex-plugin
More details
Agent compatibility
Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.
Repository health
main
History
- First seen on skills.sh
- First recorded snapshot · 1 installs