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

A Model Context Protocol (MCP) server that facilitates structured, progressive thinking through defined stages. This tool helps break down complex problems into sequential thoughts, track the progression of your thinking process, and generate summaries.