Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc
1 file for Gemini CLI: mcp-logic GEMINI.md — 837 tokens loaded in every session.
GEMINI.md A 837 tok These files are angrysky56/mcp-logic's own configuration — they tell Gemini CLI how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.