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
aiclaude-3-5-sonnetllmlogicmcp-serverservertool
安装
$
uv pip install --directory . "huggingface-hub>=0.24.0"更多AI & ML服务器
浏览完整目录安全概况
已认领和已认证的服务器每周接受一次静态扫描，显示代码能触及的范围（外部服务、环境变量、shell 命令、代理配置目录）以及带有已知公告的依赖。认领此列表即可获得。 安全概况的工作原理
8 个工具中显示 8 个
文档中列出的工具 (8)
内容来自项目文档。服务器握手不会验证每个工具的说明或行为。
abductive_explain
Find the VFE-minimizing explanation for an observation
check_contingency
Check truth-functional contingency via HCC prover
check_well_formed
Validate formula syntax with detailed errors
find_counterexample
Find counterexamples showing statements don't follow
find_model
Find finite models satisfying premises
get_category_axioms
Get axioms for category/functor/group/monoid
prove
Prove statements using Prover9
verify_commutativity
Generate FOL for categorical diagram commutativity