7 v1.0.1 更新于 2026-10-19
GenPark Distributed Deadlock Wait-For-Graph Detector MCP Server
在锁等待图(Wait-For-Graph)上实时执行 Tarjan 强连通分量环检测,并配备受害事务仲裁器
安装配置
远程接入(http)
{
"mcpServers": {
"genpark-distributed-deadlock-wait-for-graph-detector-skill": {
"url": "https://genpark.ai/mcp"
}
}
}将上方 JSON 加入 MCP 客户端配置(如 Claude Desktop 的 claude_desktop_config.json 或项目的 .mcp.json)即可接入;远程接入按客户端要求填写 URL 与鉴权头。
提供的工具 接入后 Agent 可调用这 1 个工具
detect_deadlock_cycles
在事务等待图中检测锁依赖环,并选择回滚代价最小的牺牲事务