← All repos

yogthos/chiasmus

View on GitHub ↗ ★ 218 TypeScript

Chiasmus is an MCP server that gives language models access to formal verification

4 mentions on Hacker News by 4 people: 0 stories, 4 comments · first 2026-04-09 · latest 2026-05-28