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
インストール
uv pip install --directory . "huggingface-hub>=0.24.0"AI & MLの他のサーバー
ディレクトリ全体を見る未申請リスティング
このMCPサーバーはあなたのものですか？
このリスティングは公開情報から自動的にインデックスされました。申請することで、ページの編集、互換性の設定、成長ツールのアンロックができます。2分以内に完了します。
このサーバーを申請するセキュリティプロファイル
申請済みおよび認証済みのサーバーは毎週の静的スキャンを受け、コードが到達できる範囲（外部サービス、環境変数、シェルコマンド、エージェント設定フォルダ）と既知のアドバイザリを持つ依存関係が表示されます。このリスティングを申請すると利用できます。 セキュリティプロファイルの仕組み
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