logic-lm
Enhances language models with formal logical reasoning capabilities by translating natural language problems to Answer Set Programming code, executing symbolic reasoning with Clingo solver, and interpreting results back to natural language for constraint satisfaction and multi-step deduction tasks.
- Score
- 52.4982 signals
- Evidence
- 5 stars · 1 fork
- Last commit
- as last read from GitHub; most reads are from 2 Sep 2026 or later
- Listed
Install
No one-command install. Set it up from its source.
Alternatives · MCPs
- sulaiman013-powerbi123 stars · 51 forks93.703
- based-h-10-deepseek-reasoner52 stars · 15 forks87.462
- sdiehl-universal-solver65 stars · 8 forks86.808
What it is
MCP server Logic-LM (Answer Set Programming), catalogued on PulseMCP. Enhances language models with formal logical reasoning capabilities by translating natural language problems to Answer Set Programming code, executing symbolic reasoning with Clingo solver, and interpreting results back to natural language for constraint satisfaction and multi-step deduction tasks.
When to use it
Enhances language models with formal logical reasoning capabilities by translating natural language problems to Answer Set Programming code, executing symbolic reasoning with Clingo solver, and interpreting results back to natural language for constraint satisfaction and multi-step deduction tasks.
Notes
Listed from the PulseMCP registry. The registry does not state a license. Check it before production use.