3 skills found
angrysky56 / mcp-logicFully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc
OATH-md / OathMCPAgent-native MCP server for evidence-backed clinical calculators.
BlinkZer0 / Phys-MCPA physics focused calculator for LLM's using Model Context Protocol (MCP)