outline-strong-development

What problem does it solve?

This skill provides a robust orchestration framework for complex software projects requiring comprehensive validation across multiple paradigms. It coordinates proofs, specifications, types, contracts, and tests into a configurable pipeline, ensuring that upstream failures block downstream stages and providing layered correctness guarantees.

Core Features & Use Cases

• Five-Layered Validation Pipeline: Integrates proof-driven (Lean 4/Idris 2), specification-driven (Quint), type-checking (language native), design-by-contract, and test-driven development into a unified workflow.
• Configurable Precedence & Gating: Define custom validation orders and strict gating rules, where failures in higher-assurance layers prevent execution of lower-assurance stages.
• Flexible Execution Modes: Supports "stop-on-fail" for rapid feedback during development and "all-errors" for comprehensive reporting in CI/CD.
• Use Case: Manage the CI/CD pipeline for a mission-critical embedded system. This skill ensures that formal proofs pass before specifications are verified, types are checked before contracts, and contracts pass before tests, providing maximum assurance at every step.

Quick Start

Use the outline-strong-development skill to set up a validation pipeline for a new Rust project, prioritizing type checking and unit tests, then adding contract and specification verification. The agent will guide you through configuring the validation order and execution modes.