angrysky56

2 skills across 2 repos56 repo starsGitHub

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

🔌 MCP Serverclaude codeclaude desktop

mcppython

Updated 1mo ago

angrysky56 / mcp-rocq

RoCQ (Coq Reasoning Server)

🔌 MCP Serverclaude codeclaude desktop

mcp

Updated 1y ago1y+