shipitsteven/logic-lm-mcp
3.2
If you are the rightful owner of logic-lm-mcp and would like to certify it and/or have it hosted online, please leave a comment on the right or send an email to henry@mcphub.com.
The Logic-LM MCP Server is a Model Context Protocol server that provides symbolic reasoning capabilities using the Logic-LM framework and Answer Set Programming (ASP).
Tools
Functions exposed to the LLM to take actions
get_asp_guidelines
Get comprehensive ASP translation guidelines.
translate_to_asp_instructions
Get lightweight instructions for translating a specific natural language problem to ASP.
verify_asp_program
Directly verify and solve an ASP program using the Clingo solver.
check_solver_health
Check Logic-LM server and Clingo solver health status.
Prompts
Interactive templates invoked by user choice
No prompts
Resources
Contextual data attached and managed by the client