Executable specifications in Markdown. One document is both a readable spec and a runnable test suite.
specdown init # scaffold a new project
specdown run # execute specs and generate reportscurl -sSfL https://raw.githubusercontent.com/corca-ai/specdown/main/install.sh | shInstalls to /usr/local/bin, or ~/.local/bin if /usr/local/bin is not
writable. Ensure the install directory is on your PATH.
Or download directly from Releases.
go install github.com/corca-ai/specdown/cmd/specdown@latestbrew install corca-ai/tap/specdowngo build -o bin/specdown ./cmd/specdownspecdown version- Overview — install, first spec, and why specdown exists
- Self-Spec — the executable reference
- Live Report — self-spec execution results
- Best Practices — patterns, pitfalls, and anti-patterns
- Build & Run — building from source
- Agent Guide — project layout, working rules, and conventions
See examples/pocket-board/ for a working project that uses shell blocks and Alloy models without any custom adapters.