MCP-Logic

httpnone★ 43development

Provides automated reasoning for AI systems using the Prover9 and Mace4 theorem provers.

Install

How to run this server

No install command recorded.

server path: mcp-logic

Tools

What this server exposes

prove

Prove statements using Prover9

check-well-formed

Validate formula syntax with detailed errors

find_model

Find finite models satisfying premises

find_counterexample

Find counterexamples showing statements don't follow

verify_commutativity

Generate FOL for categorical diagram commutativity

get_category_axioms

Get axioms for category/functor/group/monoid

check_contingency

Check truth-functional contingency via HCC prover

abductive_explain

Find the VFE-minimizing explanation for an observation

Configuration

Environment & auth

authnone

Resources