Logic-LM (Answer Set Programming)

Logic-LM MCP server by Steven Wang that provides AI assistants with symbolic reasoning capabilities through Answer Set Programming (ASP) and the Clingo solver. Built with Python using FastMCP, the implementation follows a three-stage Logic-LM pipeline: translating natural language problems to ASP code, executing symbolic reasoning with Clingo, and interpreting results back to natural language. The server includes comprehensive ASP translation guidelines, template libraries for common logical patterns (syllogisms, conditionals, universal quantification), and tools for direct ASP program verification with self-refinement capabilities. Designed for applications requiring formal logical reasoning, constraint satisfaction problems, and symbolic problem-solving where traditional LLM reasoning may be insufficient, particularly useful for academic research, automated theorem proving, and complex multi-step logical deduction tasks.