MCP Server · AI & ML

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

Tier 1 sealed by lossy-channel-auto
Source
https://github.com/angrysky56/mcp-logic
Registry namespace
io.github.angrysky56/mcp-logic
Imported from
github-topics
License
MIT
Pricing
Open Source
Added
Jul 4, 2026

Seal evidence

Auto-sealed Tier 1 on import from GitHub topic search. Lossy Channel layers 1–2 to be backfilled by the Foreman.

  • L1-wash

Similar tools

MCP Server Tier 1

Fathom

A Rider Plugin for improving UE5 C++ development for your LLM agent of choice

🧠 AI & ML
MCP Server Tier 1

mcp-baserow

MCP server for Baserow API integration - Enable AI assistants to interact with Baserow databases

🧠 AI & ML
MCP Server Tier 1

hippocampus

Open-source MCP memory server. Universal AI memory across all platforms.

🧠 AI & ML
MCP Server Tier 1

magento2-mcp-module

Extensible MCP module for Magento2 - Interact with your store through any MCP-compatible AI agent

🧠 AI & ML