{"id":"logic-lm-mcp-server","name":"logic-lm-mcp-server","homepage":"https://pypi.org/project/logic-lm-mcp-server/","repo_url":"https://github.com/stevenwangbe/logic-lm-mcp-server","category":"developer-tools","subcategories":[],"tags":["answer-set-programming"," asp"," clingo"," logic"," mcp"," reasoning"," symbolic-solver"],"what_it_does":"A Model Context Protocol server that provides symbolic reasoning capabilities using Logic-LM framework and Answer Set Programming","use_cases":[],"not_for":[],"best_when":null,"avoid_when":null,"alternatives":[],"af_score":null,"security_score":null,"reliability_score":null,"package_type":"mcp_server","discovery_source":["pypi"],"priority":"low","status":"discovered","version_evaluated":null,"last_evaluated":null}