Terminal coding agent that writes formal specifications, verifies them, and generates code. Delivers spec-driven development to improve code correctness and reliability.