Logic-LM MCP Server
Rank #20181glama/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 #20181 of 58,832 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,651 of 58,832 servers on MCP Toplist.
Listed on 2 registries
shipitsteven
Not versioned
This server is published through registries that do not expose explicit version metadata. 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.