Logic-LM MCP Server
Rank #20241glama/shipitsteven/logic-lm-mcp
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 logical problems.
Logic-LM MCP Server is a Model Context Protocol (MCP) server published by shipitsteven. It ranks #20241 of 58,900 servers tracked on MCP Toplist, and its repository has 5 GitHub stars. Logic-LM MCP Server is listed across 2 registries — Glama and PulseMCP, and ships as a single rolling release with no explicit version metadata. It was first listed on Aug 29, 2025.
Ranks ahead of 38,659 of 58,900 servers on MCP Toplist.
Use Logic-LM MCP Server
Logic-LM MCP Server doesn’t publish a machine-readable install config. Follow the setup instructions in its repository ↗, or open one of its registry listings above.
Listed on 2 registries
shipitsteven
Not versioned
This server is published through registries that do not expose explicit version metadata, and no GitHub release tags were found on the linked repository. The listing tracks a single rolling release.
Frequently asked questions
- What is Logic-LM MCP Server?
- 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 logical problems.
- Who maintains Logic-LM MCP Server?
- Logic-LM MCP Server is maintained by shipitsteven, which publishes 1 MCP server (0 total versions) tracked on MCP Toplist.
- Is Logic-LM MCP Server an official MCP server?
- Logic-LM MCP Server is not on the Official MCP Registry. It is listed on Glama and PulseMCP.
- How many versions does Logic-LM MCP Server have?
- Logic-LM MCP Server ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for Logic-LM MCP Server?
- The source code for Logic-LM MCP Server is hosted at github.com/shipitsteven/logic-lm-mcp.