outline-driven-development

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.