Rash
io.github.paiml由 GitHub 帳號 paiml 發布v0.1.0更新於 Oct 24, 2026
Transpile Rust code to POSIX-compliant shell scripts with formal correctness guarantees
概覽
AI 產生的概覽
將 Rust 程式碼轉譯為符合 POSIX 的 shell 指令碼，並提供形式化正確性保證。
- 可以做什麼
- Rash 是一個本機 MCP 伺服器，可讓助理把 Rust 程式碼轉譯為符合 POSIX 的 shell 指令碼。根據其登錄描述，它旨在為產生的指令碼提供形式化正確性保證。清單中沒有列出具體工具，因此助理可呼叫的具體操作在此並未說明。
- 適用情境
- 當你希望助理把 Rust 邏輯轉換成可攜的 shell 指令碼時值得考慮，例如產生必須在 POSIX shell 下執行的建置或部署步驟。它是僅限桌面的本機程序，適合個人開發機，而不是託管或瀏覽器環境。
- 執行需求
- 透過 stdio 在使用者機器上以本機程序執行，標示為僅限桌面且沒有網頁可執行版本。未宣告任何套件、驗證、環境變數或標頭，因此現有資訊未說明其執行環境與工具鏈需求。
安裝前請注意
清單未宣告任何憑證、環境變數或標頭，也沒有列出工具，因此沒有文件說明該伺服器會讀取、寫入或傳送什麼內容。由於產生的 shell 指令碼可能在你機器上執行指令，執行前請先檢視指令碼。
安裝
在 SourceWeft 中
- 開啟 儀表板中的 Rash，將其新增到工作區。
- 為需要使用其工具的對話啟用該服務。
Desktop only，透過 STDIO。 STDIO 服務會啟動本機處理程序，因此需要 SourceWeft 桌面主機。
工具
0SourceWeft 尚未在沙箱中啟動過該軟體包，因此其工具未知。
版本歷史
1- v0.1.0最新Sep 16, 2026
評分
已滿足適用檢查項的 25%
該評分衡量此收錄條目的完整程度，依據註冊中心條目、端點與公開來源計算得出。它不是對伺服器本身的評價，也不表示伺服器安全或目前可用：可連通性是帶日期的檢查結果，評分也不包含安裝量或使用者評價。
- 近 30 天內可連通25 分
請保持端點能夠回應 MCP 握手；SourceWeft 每 30 天探測一次。
- 已宣告認證方式10 分
請在註冊中心條目中宣告憑證請求標頭，或保持端點能夠回應探測，以便判定其認證方式。
- 已列出工具15 分
請讓伺服器在無憑證時回應 tools/list，或發布可在沙箱中無憑證啟動的軟體包。
- 描述必需15 分
- 圖示10 分
- 文件15 分
請宣告包含 README 的 GitHub 儲存庫，或在 OAuth 受保護資源後設資料中提供 resource_documentation。
- 授權條款10 分
請在儲存庫或註冊中心條目中宣告授權條款。