74
/ 100
27 days ago
glama

MCP-ORTools

Enables Large Language Models to submit and solve constraint satisfaction and optimization problems using Google OR-Tools through JSON model specification.

Is this your MCP?

Claim it to get a verified publisher badge, a free copy of our full audit findings, and direct contact for any high-priority issues we find.

Install from

M8ven verifies MCPs across every public registry — install directly from whichever one you prefer.

// key findings
No credential exfiltration, no sensitive file access, no obfuscation
Static analysis found nothing flowing your secrets to unexpected places.
Open source with a license and README
Anyone can audit the code, the license is declared, and the publisher documents what it does.
// known CVEs in dependencies1 low

Disclosed vulnerabilities in this server's declared npm dependencies (via OSV). Whether each is reachable depends on the installed versions.

lowuuid@9.0.0GHSA-w5hq-g745-h8pq

uuid: Missing buffer bounds check in v3/v5/v6 when buf is provided

Depend on this server? Get alerted when its CVEs change.Watch this server free →
// full audit trail
The full breakdown of what we checked, the deductions that landed, the network hosts, the dependency advisories, and concrete fix guidance is available to verified publishers.
// improvement guidance — verified publishers only
We have 3 concrete improvements we can share with the publisher of this MCP. Each comes with specific guidance to raise the trust score.
// embed badge in your README
[![M8ven Score](https://m8ven.ai/badge/mcp/mcp-reasoner-mcp-reasoner-1xuvcp)](https://m8ven.ai/mcp/mcp-reasoner-mcp-reasoner-1xuvcp)
commit: 949f6601a05597f01115e67e094f36a99d676329
code hash: 70716b1e0fe8e385d29964032380c0ec70b93e1550fa6345330fae3f7137b20a
verified: 6/15/2026, 12:42:32 PM
view raw JSON →