Hacker GitHub

← 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

Mentions per year 4 mentions · busiest year 2026 (4)
20082026
AllStoriesComments NewestTopOldest
  1. Project source is here: https://github.com/yogthos/chiasmus
    comment by davidjade · 2026-05-28 · in Giving LLMs a Formal Reasoning Engine for Code Analysis
  2. …particular endpoint is doing, you can trivially and predictably trace the whole subgraphs of calls. https://github.com/yogthos/chiasmus
    comment by yogthos · 2026-05-02 · in DeepSeek V4 – almost on the frontier
  3. …clj projects in relevance: — https://github.com/realgenekim/clj-surgeon https://clojure.getpando.ai https://github.com/yogthos/chiasmus
    comment by iLemming · 2026-04-29 · in I have officially retired from Emacs
  4. repo: https://github.com/yogthos/chiasmus
    comment by boriskourt · 2026-04-09 · in Giving LLMs a Formal Reasoning Engine for Code Analysis