agentmods.dev

angrysky56/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

Open on GitHub
46Stars on the repository
1Mods indexed here, across every type
18d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

mcp-logic GEMINI.md

01

angrysky56/mcp-logic

Instructions file Gemini CLI

Instructions for angrysky56/mcp-logic, covering mcp-logic — project guide (gemini/antigravity), project summary, active milestone, gsd workflow and architecture quick reference.

46 18d ago A 837 tokens original MIT