neuro-symbolic — independent software & tools

2 independent neuro-symbolic listings the big search engines bury.

• grounded-reasoning

  github · Free · by ALEXaquarius

  Zero-token, precision-guaranteed relation-algebra verifier for LLM/agent multi-hop reasoning

• m1nd

  github · Free · by maxkle1nz

  The shell around your coding agent: a neuro-symbolic code graph with calibrated trust, via MCP.