validation-first

Validation-First Development Skill using Quint for formal specifications - comprehensive skill handling both design (planning) and execution (verification) through formal state machine specifications.

by OutlineDriven· Repository·design

validation

first

Run in AgentArea Browse All Skills

Also installable via skills CLI

npx skills add OutlineDriven/odin-claude-plugin/design/validation-first

Source

Repo:local

Path:design/validation-first(main)

Related in design

add-uint-support

Add unsigned integer (uint) type support to PyTorch operators by updating AT_DISPATCH macros. Use when adding support for uint16,...

skill-writer

Guide users through creating Agent Skills for Claude Code. Use when the user wants to create, write, author, or design a new Skill...

frontend-design

Create distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web...