Logic-LM MCP Server
MCP Server
Provides symbolic reasoning capabilities by converting natural language logical problems into Answer Set Programming (ASP) format and solving them using the Clingo solver. Enables users to perform formal logical reasoning, verify logical arguments, and get step-by-step explanations for complex logical problems.
工具数
快速接入
先看主来源和安装命令，再打开仓库或文档；下面只保留这个条目的关键接入事实。
目录标签
目录标签
接入字段
传输方式（transport，传输协议）
未说明
鉴权方式（authType，认证方式）
none
部署方式（deploymentType，部署类型）
remote-capable
权限和风险
接入前请确认传输方式、认证方式和部署位置，并根据实际工具能力限制访问范围。
不要直接授予不必要的文件、网络或账号权限；先核对安装命令和配置内容。
仍需确认：category / installCommand
来源信息
继续浏览同类 MCP
上一个 MCP
Logica Context
An MCP server that provides persistent, cross-session memory and team knowledge sharing for AI development workflows. It enables project DNA scanning, semantic search, context budgeting, and git-aware indexing to prevent AI context loss between sessions.
下一个 MCP
Logic MCP Server
A backend server that executes advanced logic primitives and cognitive operations through the Model Context Protocol, allowing integration with various LLM providers for reasoning, data processing, and structured thought processing.