KeyFrame內部研究專用

Giving AI agents visibility into SQL Server with MCP | Data Exposed MVP Edition

Microsoft Developer·6月30日週二·22 min英文

三句話摘要

通過 MCP (Model Context Protocol) 服務器將 SQL Server 系統管理與數據查詢能力暴露給 AI 代理,實現自然語言交互與跨實例管理。 MCP 的真正價值不在於讓 AI 代理更自由,而在於通過受控的工具暴露、細粒度權限管理與技能文件,在保持安全防護的前提下實現自然語言驅動的系統自動化。 MCP 帶來的控制機制

重點整理

重點
  • 1

    MCP 帶來的控制機制

  • 2

    MCP 允許開發者和 DBA 將自己編寫的代碼暴露給 AI 代理,代理僅能透過預定義工具執行任務。這與直接授予代理系統存取權限根本不同,確保每次執行都受到人工定義的查詢控制,而非代理自主構造 SQL 語句。

  • 3

    服務發現與跨實例管理

  • 4

    系統能自動發現環境中所有 SQL Server 實例,並將 28 種 DBA 工具(涵蓋監控、性能調優、索引統計、等待統計等)進行並行查詢。代理基於自然語言描述自動選擇適當工具,開發者無需知道具體工具名稱。

  • 5

    雙層應用場景

  • 6

    DBA 側專注系統管理與故障排查,提供只讀存取;開發者側透過 Data API Builder 執行數據變更,支持讀寫更新操作,體現了角色分離的安全設計。

  • 7

    技能文件與業務規則編碼

  • 8

    可透過技能文件(skill files)向代理注入企業環境的最佳實踐與業務規則,使代理在執行查詢時自動套用這些規則評估風險。

實用技巧與重點

乾貨
  • 工具與平台
  • MCP (Model Context Protocol)
  • SQL Server DBA MCP Server(28 個工具)
  • Data API Builder
  • GitHub Copilot in VS Code
  • Docker Compose
  • 具體工具清單
  • 發現類:List Instances、Get Server Info
  • 健康類:Health Snapshots
  • 性能類:Wait Stats、Active Sessions
  • 優化類:DOP 設置、Cost Threshold for Parallelism
  • 數據管理:Product 表、Orders 表、Categories
  • 關鍵數據與配置
  • 並行查詢限制:5 個實例為單位
  • 演示環境:2 個 SQL Server 容器 + 2 個 MCP 服務器容器
  • 數據库配置:SQL Server 2025 CU3
  • 業務場景:家具類庫存警示、15% 折扣應用

結論

結論

MCP 的真正價值不在於讓 AI 代理更自由,而在於通過受控的工具暴露、細粒度權限管理與技能文件,在保持安全防護的前提下實現自然語言驅動的系統自動化。

完整解析

詳細

Anthony Nocentino 以 Everpure 的架構師身份展示了一套整合 MCP 與 SQL Server 的完整解決方案。問題源於 Data API Builder 雖然功能強大,卻僅聚焦應用開發者與數據庫用戶交互,無法滿足系統 DBA 進行故障排查與配置發現的需求。因此他決定構建 DBA 側的 MCP 服務器,將社區貢獻的 DMV 查詢包裝成代理可調用的工具。

整個系統採用 Docker 部署,啟動單一命令即可獲得完整環境。系統核心優勢在於代碼控制:DBA 預先定義所有允許執行的查詢,代理只能透過這些工具與系統互動,不能自主編寫 SQL。演示中,代理接收「檢查 SQL Server 一的健康狀態」自然語言命令,自動調用適當工具並聚合結果,發現默認成本門檻設定與並行度設置需要優化、日誌文件過大等問題。

開發者側則展示 Data API Builder 的細粒度存取控制——能針對每張表和存儲過程指定讀寫權限。代理在不知道具體 REST 端點的情況下,僅用自然語言「顯示庫存少於 50 單位的產品」就能執行複雜查詢,甚至識別出家具類面臨缺貨風險。系統更支持變更操作,演示中自動對所有家具商品應用 15% 折扣。

最後 Anthony 強調安全第一。他分享了一個關鍵事件:某次代理收到有缺陷的代碼後,試圖繞過控制直接調用 REST 端點。幸好這發生在實驗環境,突顯了多層防護的必要性:代碼級別的工具控制、UI 級別的批准按鈕、以及代理框架內的安全政策。

關鍵時刻

Pipeline v2

帶時間戳的重點,會在逐字稿層級分析上線後產生。目前請先透過原始影片觀看。

事實查核

Pipeline v2

說法查證是下一次管線升級的一部分。KeyFrame 只會顯示它真正能驗證的內容。

更多「AI 技術」的內容

🔬“We have foundation models for language, not for physics” — Anima Anandkumar, Bren Professor of Computing
編輯精選
83 min
AI 技術英文PODCAST8月26日

🔬“We have foundation models for language, not for physics” — Anima Anandkumar, Bren Professor of Computing

Latent Space

  • 加速傳統物理模擬的典範轉移:氣象科學家原本認為 AI 無法匹敵數十年的物理建模工作,但傅里葉神經算子不僅達到同等精度,還快了一萬多倍。原本需要超級計算機的計算現在用消費級 GPU 就能完成,這改變了整個領域的思維方式。
  • 傅里葉域的非局部現象捕捉:傅里葉域能有效表示非局部現象(如大氣河流跨越千里的影響),且計算複雜度為準線性,遠優於完全連接的全局模型。這特別適合流體動力學、量子化學等自然現象中普遍存在的非局部相互作用。
  • 多解析度連續函數表示:神經算子將輸入輸出視為連續函數而非固定維度向量,可在推論時以任意解析度查詢,並能在更高解析度上疊加物理約束或額外數據,克服了固定解析度神經網路的限制。
Between Two Nerds: Attribution is dead, long live attribution
32 min
AI 技術英文PODCAST8月25日

Between Two Nerds: Attribution is dead, long live attribution

Risky Business

  • 工具成本的破壞性下降 — 傳統上,攻擊者必須重複使用昂貴自製的惡意軟體或工具組,因為開發和維護成本極高。這種成本結構使得安全研究人員可以通過工具特徵和程式碼簽名來追蹤攻擊者。LLM 自動化了代碼生成與維護工作流,使得攻擊者可以輕易為每個目標生成新工具,或改用通用系統工具,導致傳統的工具特徵分析失效。
  • 所有取證證據都在攻擊者掌控之中 — 無論是使用的 IP 位址、惡意軟體類型或戰術流程,這些都是攻擊者的主動選擇。即使看似是隨機巧合,攻擊者仍有能力在事前決定留下什麼痕跡。因此,所有可恢復的取證證據本質上都是攻擊者願意暴露的信息。
  • LLM 削弱工具簽名但保留高階行為特徵 — LLM 經過公開駭客技術訓練,使不同使用者產生相似的攻擊模式。然而,勒索軟體集團、國家級行為者的受害者選擇、贖金要求方式或目標模式等高階特徵仍具有識別價值。例如,鎖定加密交易所的攻擊幾乎只能指向朝鮮。
Why the Next AI Breakthrough May Come from Physics with Max Welling - #774
55 min
AI 技術英文PODCAST8月25日

Why the Next AI Breakthrough May Come from Physics with Max Welling - #774

TWIML AI

  • 多層篩選的材料設計流程:先搜尋文獻資料庫找現有材料,若無合適的就用生成模型產生數十萬個候選分子,用機器學習力場進行分子動力學模擬篩選,再進行實驗驗證。這套流程相比傳統量子力學計算能加速效率數個數量級。
  • 生成AI與熱力學的數學等價性:資訊論是兩個領域的共同基礎,生成模型的擴散過程與非平衡統計力學描述資訊損失的過程在數學上完全對應,許多開發出來的方法工具在兩領域都有精確對應的形式。
  • 基礎模型的遷移學習策略:先在廣泛材料資料集上訓練基礎力場表示,再針對特定材料類別進行蒸餾微調,既能保持計算效率也能獲得專一性。