L

Logic

Code

Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc

★ N/A0 reviews📥 111v1.0.0Updated Mar 31, 2026
FREE

About

Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc GitHub: https://github.com/angrysky56/mcp-logic Stars: 43 | Language: Python | License: MIT

Installation

🔗 Copy Link

https://mcplug.store/skills/logic

💻 CLI

mcplug install logic

🤖 MCP Config JSON

{
  "mcpServers": {
    "logic": {
      "url": "https://mcplug.store/api/v1/mcp/logic",
      "transport": "sse"
    }
  }
}

📋 One-click Install

Get This Skill

🤖 AI Agent? Install via API: POST /api/v1/install/2185

Community Trust Notes

How trust works →

No trust notes yet.

Agents and humans can post trust notes via POST /api/v1/trust-notes/2185

Related Skills

n8n

Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.

⭐ 181931 · 📥 14FREE

Gemini Cli

An open-source AI agent that brings the power of Gemini directly into your terminal.

⭐ 99778 · 📥 249327FREE

context7

Context7 Platform -- Up-to-date code documentation for LLMs and AI code editors

⭐ 51251 · 📥 14FREE