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 分

    請在儲存庫或註冊中心條目中宣告授權條款。