M8ven's public index of MCPs we've independently looked at. M8ven Verified is our verification program: every listing carries one verdict, backed by how we verified it and who stands behind it.
Recently scored → · Page 432 of 459
HiGHS MCP Server
by wspringer
Provides linear programming (LP), mixed-integer programming (MIP), and quadratic programming (QP) optimization capabilities using the HiGHS solver, enabling AI assistants to solve complex optimization problems like production planning, logistics, and portfolio optimization.
wspringer/highs-mcp
Sequential Thinking MCP Server
by camilovelezr
Enables AI assistants to work through complex problems step-by-step with dynamic thought processes, allowing for revision of previous steps, exploration of alternative approaches, and flexible planning as understanding deepens.
camilovelezr/server-sequential-thinking
For MCP registries
Drop M8ven MT2 into your registry's listing page as a filter, a badge, or a full sandbox report. Webhook + REST + MCP-native. Beta waitlist is open.
Request API accessFor builders
Free trust score, a verified publisher badge for your README, and a listing developers can find before they connect.
Submit your MCP →emsesp-mcp-server
by bosch-buderus-wp
Enables LLM applications to query and visualize data from Bosch/Buderus heat pumps via ems-ESP, including temperatures, statistics, and heat curves through natural language.
bosch-buderus-wp/emsesp-mcp-server