MCP-Logic Server

MCPOpen SourceMIT44.8

by angrysky56 • Testing & QA

An MCP server that provides automated theorem proving and model checking using Prover9/Mace4 to help AI systems validate and reason about knowledge.

Example Use Cases

1
Formally verify that a set of logical premises entail a given conclusion using Prover9 automated theorem proving.
2
Validate the syntactic well-formedness of logical statements and catch errors before attempting proofs or model searches.
3
Check or construct countermodels and perform model verification using Mace4-style model finding integrated into an MCP workflow.

Description

MCP-Logic integrates Prover9/Mace4 into a Model Context Protocol (MCP) server to run automated logical proofs, verify models, and validate statement syntax. It offers a clean MCP interface, support for complex formulas (including nested quantifiers), and utilities for knowledge validation and debugging. The project is aimed at AI-first workflows where formal reasoning and verification of knowledge representations are needed.

Quick Actions

View on GitHub

Security

Scanned 1 month(s) ago

Risk Level

MINIMAL

Read-only data retrieval, no side effects

Trust Score

D44/100

4/17 checks passed

Scores are informational only and provided “as is” without warranty. AgentHotspot assumes no liability for actions taken based on these ratings.

Quick Stats

Service TypeMCP

Pricing ModelFree

Capabilities0 Tools / 0 Prompts / 0 Resources

Ownerangrysky56

CategoryTesting & QA

DependenciesStandalone