Contract-driven AI coding and verification

Write a compact spec, let an agent implement against it, and verify observed behavior with a repeatable loop.

Markdown-first contracts

Keep product intent in `.scl.md` files with fenced `specra` blocks and split by feature using imports.

Refresh `.specra/ctx.json`, `.specra/plan.json`, and `.specra/specra.db` for low-noise agent context.

Scaffold `proof.json`, let the agent fill it from test results, and verify expectations with `specra-lang verify`.

bash

pnpm add -D specra-lang
specra-lang init
specra-lang check
specra-lang refresh
specra-lang proof
specra-lang verify

Package: specra-lang
Command: specra-lang

One-off usage without installation:

bash

pnpm dlx specra-lang init

Specra does not validate source code directly. It validates evidence supplied by the coding agent from tests or reproduction steps.