MMCP-LogicFully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc
mcp-so:mcp-logic_angrysky56
View sourceA
100/100 First Seen
Feb 19, 2026
Last Scanned
Feb 20, 2026
Findings
0
Score
100/100
No Security Issues Found
Aguara's static analysis detected no security findings in this skill. It scored a perfect 100/100.