搜索检索stdio官方级别未说明来源级核验
Logical Solver
MCP Server
A project that integrates mcp servers for Prover9/Mace4 for a logical reasoning agent
工具数
0
提示词数
0
GitHub Stars
1
资源数
0
Python自然语言处理搜索
快速接入
先看主来源和安装命令，再打开仓库或文档；下面只保留这个条目的关键接入事实。
命令预览
pip install -r requirements.txt
目录标签
目录标签
Python自然语言处理搜索research-and-datamcp-serverlogical-solvertheorem-proving逻辑推理本地部署自动定理证明形式化验证FOL解析
接入字段
传输方式（transport，传输协议）
stdio
鉴权方式（authType，认证方式）
none
工具数量（toolCount，工具数）
0
资源数量（resourceCount，资源数）
0
提示词数量（promptCount，提示词数）
0
权限和风险
stdionone部署方式未说明
接入前请确认传输方式、认证方式和部署位置，并根据实际工具能力限制访问范围。
安装前确认
不要直接授予不必要的文件、网络或账号权限；先核对安装命令和配置内容。
来源信息
继续浏览同类 MCP
上一个 MCP
Log Checker
An MCP server for intelligent log analysis providing semantic search, error pattern clustering, and smart error detection. It enables users to process, vectorize, and query local logs to efficiently identify issues and generate AI-powered summaries.
下一个 MCP
loglmhq MCP-server-prometheus
公开目录未提供摘要。