Giving LLMs a Formal Reasoning Engine for Code Analysis(yogthos.net)
yogthos.net
Giving LLMs a Formal Reasoning Engine for Code Analysis
https://yogthos.net/posts/2026-04-08-neurosymbolic-mcp.html
1 comments
Project source is here: https://github.com/yogthos/chiasmus