A Model Context Protocol server that provides symbolic reasoning capabilities using Logic-LM framework and Answer Set Programming
How to install logic-lm-mcp?
shipitsteven/logic-lm-mcp
$git clone https://github.com/shipitsteven/logic-lm-mcpInstalls into the current project.
›Prefer a prompt? Paste this to your agent
Install logic-lm-mcp by running `git clone https://github.com/shipitsteven/logic-lm-mcp`, then use it for the current task and follow its documentation at https://github.com/shipitsteven/logic-lm-mcp.
Related
6 picksType
- luma-mcpMulti-model vision understanding MCP server. Supports GLM-4.6V (Zhipu), DeepSeek-OCR (SiliconFlow - Free), Qwen3-VL-Flash (Aliyun), and Doubao-Seed-1.6 (Volcengine)Jul 2026
- haiku.ragOpinionated agentic RAG powered by LanceDB, Pydantic AI, and DoclingJul 2026
- vmlxMLX inference server for Apple Silicon — Text, Image, Video & Audio generationJul 2026
- lilbeeThe whole local AI stack in one executable: run and manage local AI models across every GPU you have, and search your files, code, and the web pages you crawl, with answers that cite the source.Jul 2026
- mcp130+ AI models for image, video, music, and audio — 18 model families, one RunAPI account.Jul 2026
- openrouter-mcp-multimodalChat with 300+ LLMs via OpenRouter. Analyze and generate images, audio, and video from MCP.Jul 2026
