math-logic-mcpCode ExecutionEducation & Learning ToolsismailkerimovAlicenseAqualityDmaintenanceMCP server that gives small LLMs verified symbolic-math & logic tools. Updated 8 months ago (2026-02-20 12:40 UTC)623 PyPI2Apache 2.0
mcp-optimizerCode ExecutionAutonomous AgentsdmitryanchikovAlicenseBqualityCmaintenanceMathematical Optimization MCP Server with PuLP and OR-Tools support Updated a year ago (2025-11-05 20:52 UTC)1326 PyPI5MIT
model-gatewayDeveloper ToolsAI & Machine Learningparigihelori352-cyberAlicense-Not gradedqualityDmaintenanceConfigurable MCP server that lets you define LLM-powered tools via JSON, enabling easy integration of multiple models (GPT, Gemini, Claude, etc.) as MCP tools without writing Python code. Updated 4 months ago (2026-07-11 14:27 UTC)6MIT
MCP-toolhouseAgent OrchestrationCommand LineDeveloper ToolsSecretiveShellAlicense-Not gradedqualityDmaintenanceMCP server for toolhouse.ai. This does not rely on an external llm unlike the official server. Updated 2 years ago (2025-02-08 13:21 UTC)4MIT
verifiable-thinking-mcpAutonomous AgentsDeveloper ToolsCoderDaytonAlicenseBquality-Not gradedmaintenanceMCP server for structured reasoning with cognitive trap detection, verification, and context compression Updated 9 months ago (2026-02-10 19:36 UTC)541 npm1-
data-mcpDeveloper ToolsTattzy25Alicense-Not gradedqualityDmaintenanceMCP server generated from an OpenAPI Specification, exposing tools via HTTP. It allows clients to invoke API operations using JSON-RPC 2.0 requests. Updated 3 months ago (2026-08-04 12:12 UTC)2 npmArtistic 2.0