Skills
MCP
Plugins
Subagents
.fyi
.fyi
Search…
⌘K
home
/
mcp-servers
/
shipitsteven
home
/
mcp-servers
/
shipitsteven
shipitsteven
1 mcp servers
View on GitHub
#
Listing
Type
Updated
Installs
↓
(sorted descending)
Stars
1
logic-lm-mcp
Logic-LM MCP Server: Symbolic reasoning for Claude Code using Answer Set Programming and the Clingo solver.
MCP Servers
Aug 2025
—
5