Found 1 repositories(showing 1)
shipitsteven
Logic-LM MCP Server: Symbolic reasoning for Claude Code using Answer Set Programming and the Clingo solver.
All 1 repositories loaded