1 listing · 0 installs
Open-source publisher. Listings imported from github.com/shipitsteven — credited to the original author with their license.
mcp-shipitsteven-logic-lm-mcp · by shipitsteven
Logic-LM MCP Server: Symbolic reasoning for Claude Code using Answer Set Programming and the Clingo solver.
