A Model Context Protocol server that provides symbolic reasoning capabilities using Logic-LM framework and Answer Set Programming
{
"mcpServers": {
"logic-lm-mcp-server": {
"command": "uvx",
"args": [
"logic-lm-mcp-server"
]
}
}
}A Model Context Protocol server that provides symbolic reasoning capabilities using Logic-LM framework and Answer Set Programming
Is it safe?
No known CVEs for logic-lm-mcp-server.
No authentication — any process on your machine can connect.
License not specified.
Is it maintained?
Commit history unknown.
Will it work with my client?
Transport: stdio. Works with Claude Desktop, Cursor, Claude Code, and most MCP clients.
Run this in your terminal to verify the server starts. Then let us know if it worked — your result helps other developers.
uvx logic-lm-mcp-server 2>&1 | head -1 && echo "✓ Server started successfully"
After testing, let us know if it worked:
This server is missing a description. Tools and install config are also missing.If you've used it, help the community.
Add informationNo known vulnerabilities.
Have you used this server?
Share your experience — it helps other developers decide.
Sign in to write a review.
Start a conversation
Ask a question, share a tip, or report an issue.
Sign in to join the discussion.