A toolkit for spec-driven software development. Stop writing prompts, start writing specs. Ship better quality software and minimize slop.

Chiasmus is an MCP server that gives language models access to formal verification - yogthos/chiasmus