skills.rest
OutlineDriven
OutlineDrivenOFFICIAL
Explore all skills by this author →
GitHub

outline-driven-development

Orchestrates five-tiered TypeScript, spec, proof, contract and test validation workflows for software development.

34|Updated Nov 17, 2025
Search Tags:#code quality#software engineering#ast-grep#formal methods#ODIN#validation-first#confidence-driven#diagram-driven
One-click install
npx skills add https://github.com/OutlineDriven/odin-claude-plugin --skill outline-driven-development
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: outline-driven-development
Source: https://github.com/OutlineDriven/odin-claude-plugin/tree/main/skills/odin
Command: npx skills add https://github.com/OutlineDriven/odin-claude-plugin --skill outline-driven-development

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

This skill provides a comprehensive, "Outline Driven INtelligence" (ODIN) framework for software development, integrating five rigorous validation paradigms: type-driven, proof-driven, validation-first, test-driven, and static-verification. It ensures surgical precision, high quality, and minimal variance in code generation and modification.

Core Features & Use Cases

  • Five-Layered Validation: Orchestrates Idris 2 (types), Quint (specs), Lean 4 (proofs), language-specific contracts, and property-based tests for end-to-end correctness.
  • Diagram-First Engineering: Mandates five types of diagrams (Concurrency, Memory, Object Lifetime, Architecture, Optimization) before any implementation, ensuring systemic understanding.
  • Surgical Editing Workflow: Employs ast-grep for precise, AST-based code transformations, minimizing errors and maximizing accuracy.
  • Confidence-Driven Execution: Adapts its approach based on task complexity, risk, and familiarity, from direct action to extensive research and planning.
  • Use Case: Develop a new feature for a complex, safety-critical financial application. This skill guides the entire process, from formal proofs of invariants to property-based testing, ensuring every aspect is rigorously validated.

Quick Start

Use the outline-driven-development skill to implement a new account withdrawal feature, ensuring all five validation layers are applied. The agent will guide you through diagramming, type-driven design, formal proofs, contracts, and tests.