🧩

MCP Logic

Open-source skill, curated and packaged by MarketNow. Original authors retain all rights.

$10.95

General python Verified 5/5

An MCP server for automated first-order logic reasoning using Prover9 and Mace4.

generalpythonlogic

Install

uvx mcp_logic

Sentinel: 5/5 — Verified

Language: python

Category: General

Slug: mcp-logic

Docker: ✓ Yes

Verified: ✓ Yes

Price: $10.95

Secure checkout · Instant delivery

Embed this badge in your README

[![Sentinel 5/5](https://marketnow.site/badge/mcp-logic.svg)](https://marketnow.site/skill/mcp-logic)