Colimit Formal spec-driven development

A coding agent that helps you:

  1. 01Write a formal specification, without prior experience
  2. 02Verify the spec lacks logical bugs
  3. 03Reliably generate code, by blending compilers with LLMs
  4. 04Verify the implementation matches the spec