所有文章 · SURL AI News

ToolHive 0.47 將 MCP 供應鏈驗證與 SPIFFE 工作負載身分寫入部署層

ToolHive 0.47.0 可用固定 Cosign 公鑰驗證代理技能與外掛，並把 SPIFFE 信任設定暴露為 Kubernetes CRD。新版亦收緊 OIDC 探索、OAuth 權限與回呼資料外洩邊界，但多項機制仍需部署者自行配置信任根。

Docker Sandboxes 0.42.0 讓同一套 `sbx` CLI 管理本機與雲端代理沙箱，支援檔案搬移、SSH、公開 HTTPS 服務及獨立網路政策。新版同時強化 `sbxenv.yaml` 的變更預覽與確認流程，但包含連接埠預設值及環境檔語意的相容性變更。

Python Agents SDK 現可在函式工具及本機 MCP 伺服器套用輸入、輸出防護欄，並自訂遭封鎖時交給模型的替代訊息。新版亦縮小本機沙箱繼承的主機環境變數，但防護範圍仍未涵蓋託管工具及內建執行工具。

OpenAI 聲稱一套尚未發布、能力高於 GPT‑6 Astra 的多代理系統，構造出三維 Navier–Stokes 方程在平滑外力下有限時間失去光滑性的證明。團隊同步公開 Lean 4 形式化程式，但形式驗證不等同學界已接受其解決千禧年難題。

一項 Zstandard 實作實驗比較 TDD、模糊測試、性質測試與形式驗證等 26 種條件，沒有方法穩定勝過不加指示的預設組。代理常正確辨認高風險區域，卻生成無效輸入、證明無關性質或把錯誤結果寫進測試。

新版整理多供應商模型與傳輸設定，並提供可重複執行的 Ollama／Qwen 工具調用 smoke test。診斷程式會獨立檢查檔案副作用，降低代理只在回覆中聲稱完成工作的誤判。

新開源外掛毋須分叉 vLLM 核心，即可用相同的 OpenAI 相容 API 在 Tenstorrent 硬體上提供多款語言及視覺模型。它也暴露現階段限制：預填與解碼不能在同一步混合，LoRA、推測解碼及多主機服務尚未支援。

官方 Python SDK 現在只跟隨端點信任範圍內的重新導向，並擴大 OAuth issuer 驗證。舊版 Streamable HTTP 工作階段預設閒置 30 分鐘失效，單一伺服器最多保留 10,000 個工作階段。

Alaya Lab 與東京大學公開 WorldSculpt，將多視角影像中的每個物體生成為可獨立編輯的完整網格，再以剛體轉換組合成場景。模型只用單物體資料微調，卻能處理 93 至 701 個物體的測試環境；不過輸入仍需可靠的實例遮罩、3D 框與相機姿態。

AI 專案記憶工具 knowns 的新安全紀錄顯示，舊版預設把無驗證管理 API 綁定所有網路介面，並存在路徑穿越、命令注入與 MCP 權限繞過。多數問題已在 0.30.0 修補，但 0.33.0 的模型測試端點仍可向任意位址發送請求，沒有可安裝的確認修正版。

AG2 1.0.4 新增 ACP `session/load`、MCP 工具命名空間及可限制的子代理扇出，讓長時間代理較容易恢復與控制資源。新版亦把工具封鎖清單、參數驗證和結構化工具結果加入治理與追蹤路徑，但工作階段狀態仍可能分散在外部代理程序。

Ripwire 用 tree-sitter、符號關係圖與 Personalized PageRank，為程式代理產生可重現的檔案排名及變更影響範圍。首方測試顯示定位率優於五種比較工具，獨立檢視卻指出壓縮上下文後的答案品質與整體代理成本仍可能倒退。