MCPVault / 比较服务器

比较服务器

最多选择三个服务器，比较用途、连接方式和实际检查结果。

比较服务器MCP Logic
用途Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc
认证（维护者声明）未知
公开启动命令专门配置
配置来源公开安装说明
已观测工具未知
最近一次完整工具检查未知
许可证MIT
打开设置

完整检查仅列出工具，不会调用工具，也不代表安全认证。