TheaOS mcp
Related Servers
Alternatives to TheaOS mcp
No user-submitted related servers found.
Related Servers
- FlicenseAqualityDmaintenanceProvides AI coding agents with dependency analysis, impact detection, and build verification tools.14-

corbatofficial
AlicenseAqualityDmaintenancePolicy and quality engine for AI coding agents that enforces team coding standards and provides validation gates for agent-assisted software delivery.754 npm5MIT- AlicenseNot gradedqualityAmaintenanceEnables AI coding agents to enforce spec-driven development and verify code before it is marked done, using six tools that catch invented APIs, scan for hallucinated content, check plugin conformance, sandbox-run tests, validate schemas, and record audit evidence.771 npm8PolyForm Noncommercial 1.0.0
- AlicenseNot gradedqualityCmaintenanceMagga lets coding agents prove their changes before claiming they’re done by building the code and verifying that newly added tests fail before the fix and pass after it. It returns evidence-backed verdicts through the verify_change tool and supports 16 languages, including Rust, Go, Python, Solidity, and C/C++.8 npmApache 2.0
- AlicenseNot gradedqualityCmaintenanceA verification layer that lets AI agents safely delete code in large codebases by assessing usage paths and providing risk statuses.7MIT
- AlicenseAqualityDmaintenanceEnables AI coding agents to verify code against YAML specifications, detecting missing fields, extra fields, and type mismatches to prevent silent drift before commits.3MIT
TDQS
Scored across 15 tools
The generic headron tool can invoke the same verbs as port, route, gate, steps, failures, successes, and proof, so agents have no clear rule for choosing between the generic and specific tools. mind_direct also overlaps heavily with mind_classify, mind_plan, mind_route, and mind_search.
The mind_* tools form a consistent prefixed family, and all names are lowercase snake_case, but the rest of the set mixes bare nouns (port, gate, proof, failures, successes) with a product name and no predictable verb_noun pattern.
Fifteen tools is within a reasonable range for a workflow/orchestration server, but the generic headron command plus many thin wrappers means the count is slightly higher than needed.
The surface covers discovery, routing, gating, proof, failure/success lessons, agent selection, search, health, and receipts. It is missing explicit execution/verification tools, but the server is intentionally read-only, so the remaining gaps are minor.