logic-lm-mcp

Live connection (MCP) · glama · 0 Rokha runs · 0 downloads · ⚖ MIT License

Provides symbolic reasoning capabilities by converting natural language logical problems into Answer Set Programming (ASP) format and solving them using the Clingo solver. Enables users to perform formal logical reasoning, verify logical arguments, and get step-by-step explanations for complex logic

mcp

The phone book — and the kitchen — of the agentic world. Search 190k+ skills and MCP servers, then run them for real.