4 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)
khanhs-234 / mcp-web-calcLM Studio MCP server: web search (DuckDuckGo HTML + Playwright), Wikipedia, URL extract, and a precise calculator no API keys.
