Back to search
30
MCP

logic-lm-mcp-server

pypi/logic-lm-mcp-server

A Model Context Protocol server that provides symbolic reasoning capabilities using Logic-LM framework and Answer Set Programming

Uptime
0.0%
2 probes
Response
0ms
last probe
Tools
0
callable
Primary URL
—

Similar MCP servers embedding-nearest

context-mcp-server
A Model Context Protocol server providing intelligent context management and web content fetching capabilities for AI assistants
0 tools
logic-analyzer-mcp
MCP (Model Context Protocol) server for Saleae Logic analyzers
0 tools
lsp-mcp
An Model Context Protocol (MCP) server that provides LLMs/AI Agents with the capabilities of a language server protocol (LSP) server. This g
0 tools
mcp-server-calculator
A Model Context Protocol server for calculating.
0 tools
Learning Model Context Protocol
MCP server that can perform basic arithmetic operations and parse/evaluate arithmetic expressions.
0 tools
mcp-file-context-server
A Model Context Protocol (MCP) server that provides file system context to Large Language Models (LLMs). This server enables LLMs to read, s
0 tools

How to use

Add to your Claude Desktop / Cursor / Cline MCP config:

{
  "mcpServers": {
    "logic-lm-mcp-server": {
      "url": "None",
      "transport": "http"
    }
  }
}