Alive2
Prove or refute LLVM IR transformations with Alive2, and read or create alive2.llvm.org links
| 項目 | 內容 |
|---|---|
| 名稱 | io.github.phongndo/alive2-mcp |
| 版本 | 0.1.1 |
| 分類 | 開發工具 |
| 遠端網址 | — |
| 安裝套件 | oci:ghcr.io/phongndo/alive2-mcp:0.1.1(stdio) |
| 原始碼 | https://github.com/phongndo/alive2-mcp |
| 網站 | https://github.com/phongndo/alive2-mcp |
| 最後更新 | 2026-11-03T09:07:53.060118Z |