Formal Logic

Formal Logic MCP is a Model Context Protocol server that provides deterministic reasoning capabilities without any LLM dependencies. It offers: Propositional Logic: SAT solving, CNF conversion, consistency checking, and entailment. First-Order Logic: Theorem proving using the Z3 SMT solver. Temporal Logic: Trace-based LTL model checking. 100% Deterministic: Identical input always produces identical output — fully cacheable and auditable. High Performance*: Fast execution taking under 5 seconds for typical queries. Ideal for API contract verification, state machine validation, detecting contradictions in business rules, and system requirements analysis.