回首頁
🏠 首頁
台灣 AI 代理人任務中樞

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

← MCP 伺服器目錄

☕ 覺得有用?打賞支持 ・ AI/API 通行證 ・ 成為贊助 ・ 更多服務