odin-claude-plugin
Diagram-first engineering, safe Git workflows, and release automation
All Skills in This Repository (9)
Pure Emerald Level Indicatorsvalidation-first
Formalize system behavior with Quint state machines before implementation.
proof-driven-development
Formally verify algorithms and system properties with Lean 4 proofs.
hodd-rust
Validates Rust code with formal methods and specialized testing tools.
prompt-engineering
Guides prompt refinement for LLMs using techniques like Chain of Thought and XML tags.
type-driven-development
Design dependent types and type-level proofs in Idris 2.
outline-driven-development
Orchestrates five-tiered TypeScript, spec, proof, contract and test validation workflows for software development.
design-by-contract
Generate Design-by-Contract annotations for functions across multiple programming languages.
outline-strong-development
Coordinates multiple validation stages into a customizable, sequential pipeline for software projects.
test-driven-development
Guide developers through the Red-Green-Refactor cycle across multiple languages.
Frequently Asked Questions
FAQPage SchemaHow to install odin-claude-plugin?โผ
Run `npx skills add OutlineDriven/odin-claude-plugin --all -g -y` in your terminal to install the full skill set globally.
What does ODIN actually do for my coding workflow?โผ
It gives your agent disciplined workflows for planning, implementing, reviewing, and shipping code, with built-in safety gates like preview-before-push and evidence-based done checks.
Which AI coding tools does ODIN support?โผ
Every skill ships manifests for Claude Code, Codex, Cursor, Grok, and Kimi from one tree, so the same skills load in all five harnesses.
Can I install only some ODIN plugins?โผ
Yes. The 28 plugins are modular, so you can install just odin-core and odin-code for daily work and add domain packs like odin-security or odin-research only when needed.
Is ODIN safe for irreversible actions like releases?โผ
Yes. Skills that touch remotes, releases, or deployments require explicit human confirmation at each irreversible step and always state a rollback path first.
Related Repositories in Software Engineering
View All in Software Engineeringโopenclaw
Run a personal AI assistant across your devices and chat apps
superpowers
Gives coding agents a disciplined workflow from idea to merged code
react
AI agent skills for building, testing, and porting React core