MCP server for detecting and resolving deadlocks and race conditions in distributed systems through lock graph analysis and automatic preemption
This server has severe definition quality issues. Tool definitions are minimal and lack critical schema documentation. execute_skill_action has no visible input schema in mcp_server.py. inspect_agent_lock_graph has a schema visible in client.py but is not properly registered as an MCP tool, it's a Python class method, not an MCP tool definition. Neither tool has descriptions longer than 20 characters (both are under the 34-char p10 baseline). No parameter descriptions exist. No output schemas are documented. The server does not follow MCP tool registration patterns.
Execute autonomous deadlock and race condition detection skill
Inspect agent lock graph for deadlock and race condition detection
No input schemas visible for execute_skill_action. Tool definition in mcp_server.py declares the tool name only, with no input parameter schema.
Tool definitions are not properly registered as MCP tools. inspect_agent_lock_graph is a Python class method in client.py, not an MCP tool definition. Tool registration must be explicit in the MCP server protocol.
Descriptions are trivial (under 20 characters). execute_skill_action: 'Execute autonomous deadlock and race condition detection skill' (59 chars, but vague). inspect_agent_lock_graph: 'Inspect agent lock graph for deadlock and race condition detection' (66 chars). Neither explains WHEN to use, WHAT it returns, or prerequisites.
| Scored | Grade | Overall | Spec posture | Rubric |
|---|---|---|---|---|
| 2026-09-23 | F | 22 | 2026-07-28+ | v2 |
No parameter descriptions. inspect_agent_lock_graph accepts lock_allocations_graph and lock_wait_requests but provides no descriptions of what these objects contain, their structure, or constraints.
Output schemas are not documented. inspect_agent_lock_graph returns a dict with lock_audit_id, deadlock_cycle_detected, culprit_cycle_nodes, automatic_preemption_resolved, lock_dependency_graph_url, but the MCP tool definition does not declare these fields or their types.