MCP Logic B7710d64
MCP Server
Enables first-order logic reasoning including theorem proving, model finding, counterexample detection, and category theory diagram verification using pure TypeScript with no external dependencies.
工具数
快速接入
先看主来源和安装命令，再打开仓库或文档；下面只保留这个条目的关键接入事实。
目录标签
目录标签
接入字段
传输方式（transport，传输协议）
未说明
鉴权方式（authType，认证方式）
none
部署方式（deploymentType，部署类型）
remote-capable
权限和风险
接入前请确认传输方式、认证方式和部署位置，并根据实际工具能力限制访问范围。
不要直接授予不必要的文件、网络或账号权限；先核对安装命令和配置内容。
仍需确认：category / installCommand
来源信息
继续浏览同类 MCP
上一个 MCP
MCP Lock
MCP servers are installed via npx -y @scope/package — which silently downloads the latest version every time your AI tool starts, with no integrity check. mcp-lock fixes this by recording exact tarball hashes on first run and detecting any changes on every run after that — the same guarantee npm ci gives you for Node.js projects.
下一个 MCP
MCP Medical Imaging
MCP server that routes medical questions and images to MedGemma models hosted on Vertex AI, enabling interaction with text-only and multimodal medical AI systems.