GenPark Distributed Deadlock Wait-For-Graph Detector

io.github.alphaparkinc由 GitHub 账号 alphaparkinc 发布v1.0.1更新于 Oct 26, 2026

Real-time Tarjan SCC cycle detection on lock Wait-For-Graphs with victim transaction arbitrator

已验证STDIO仅桌面数据库开发者工具

概览

AI 生成的概览

本地 Python MCP 服务器，用 Tarjan 强连通分量分析在锁等待图中检测死锁环，并选出牺牲事务。

可以做什么
  • 用实时 Tarjan 强连通分量分析检测锁等待图中的环
  • 识别陷入死锁的事务，并按最小代价选出牺牲事务以解除死锁
  • 作为本地 Python 进程运行，可配置在 Claude Desktop 或 Cursor 中
  • 无第三方依赖，仅使用 Python 3 标准库
适用场景
适合在助手需要分析分布式数据库或锁管理器的死锁、检查等待图，或决定中止哪个事务以打破环路时使用。
运行要求
在用户机器上以本地进程运行，需用 Python 启动（README 示例为 python 命令运行 mcp_server.py）。仅需 Python 3 标准库；未声明账号、API 密钥或环境变量。仅限桌面客户端。
安装前请注意
该服务器仅支持桌面端，不能在网页中执行。它分析提供给它的锁等待图；由此得出的牺牲事务结论属于建议，中止真实事务前应人工复核。

安装

在 SourceWeft 中

  1. 打开 控制台中的 GenPark Distributed Deadlock Wait-For-Graph Detector，将其添加到工作区。
  2. 为需要使用其工具的对话启用该服务。

Desktop only，通过 STDIO。 STDIO 服务会启动本地进程，因此需要 SourceWeft 桌面宿主。

其他 MCP 客户端

参照 仓库 中的启动说明。

README

genpark-distributed-deadlock-wait-for-graph-detector-skill

[Verified by Smithery] [LinkedIn] [Website]

Real-time Tarjan SCC cycle detection on lock Wait-For-Graphs with minimal-cost victim transaction arbitrator

Quick Installation & MCP Integration

Add to your Claude Desktop or Cursor configuration:

json
{  "mcpServers": {    "genpark-distributed-deadlock-wait-for-graph-detector-skill": {      "command": "python",      "args": ["mcp_server.py"]    }  }}

Zero Dependencies

Implemented entirely in Python 3 standard library.

来源：README.md，提交 7dfdfbc

工具

0
SourceWeft 尚未在沙箱中启动过该软件包，因此其工具未知。

版本历史

1
  1. v1.0.1最新Oct 19, 2026

评分

已满足适用检查项的 40%

该评分衡量此收录条目的完整程度，依据注册中心条目、端点与公开来源计算得出。它不是对服务器本身的评价，也不表示服务器安全或当前可用：可连通性是带日期的检查结果，评分也不包含安装量或用户评价。

  • 近 30 天内可连通25 分

    请保持端点能够响应 MCP 握手；SourceWeft 每 30 天探测一次。

  • 已声明认证方式10 分

    请在注册中心条目中声明凭据请求头，或保持端点能够响应探测，以便判定其认证方式。

  • 已列出工具15 分

    请让服务器在无凭据时响应 tools/list，或发布可在沙箱中无凭据启动的软件包。

  • 描述必需15 分
  • 图标10 分
  • 文档15 分
  • 许可证10 分

    请在仓库或注册中心条目中声明许可证。