Global (EN)
Setup GuideSaved Tools
Back to All MCP Servers
L

Logic-LM

Verified Integration
Author: @shipitsteven•Category: ServerApplication
GitHub Repository
JSON-RPC 2.0
Protocol Standard
Sub-second
Execution Latency
Active
Operational Status
Tags:#Claude#Search#Database#API#Git#AI#GitHub#Node.js

Client Configuration

— Connect Logic-LM to Claude Desktop or Cursor in seconds
{
  "mcpServers": {
    "logic-lm": {
      "command": "npx",
      "args": [
        "-y",
        "@modelcontextprotocol/server-logic-lm"
      ],
      "env": {}
    }
  }
}
Paste into ~/Library/Application Support/Claude/claude_desktop_config.json (macOS) or %APPDATA%\Claude\claude_desktop_config.json (Windows).
Architecture & Capabilities

System Overview

Empowers large language models with symbolic reasoning capabilities using Answer Set Programming and the Clingo solver.

Indexed Date

7/23/2026

License

Open Source

Protocol Layer

stdio / SSE RPC

Frequently Asked Questions

Architecture and operational details for Logic-LM

Logic-LM is built upon Answer Set Programming (ASP) for its symbolic reasoning framework and integrates deeply with the Clingo solver for efficient execution. It also leverages a FastMCP integration for modern server capabilities and offers a template library for common logical structures.

Related MCP Servers

Browse all servers →
C
@carboneio
Carbone

Empower AI assistants to generate and convert documents, manage templates, and automate document workflows efficiently.

ClaudeSearchDatabase+65 FAQs
Learn more
C
@sebastienrousseau
CloudCDN

Provides a multi-tenant, AI-native Content Delivery Network deployable on Cloudflare, featuring sub-100ms TTFB, AI agent controllability, and comprehensive accessibility.

ClaudeSearchDatabase+65 FAQs
Learn more
C

Deploy a Model Context Protocol server on Cloudflare Workers without requiring authentication.

ClaudeSearchDatabase+55 FAQs
Learn more