TechSummary 2025-07-30
· 閱讀時間約 9 分鐘
如何使用 GitHub MCP 伺服器實用指南 🚀
Source: https://github.blog/ai-and-ml/generative-ai/a-practical-guide-on-how-to-use-the-github-mcp-server/
- GitHub Managed Model Context Protocol (MCP) 伺服器提供全託管端點,免除本地 Docker、存取權杖管理與手動更新的麻煩,讓開發者專注於程式碼交付。
- 從本地 MCP 設定升級至 GitHub 託管端點,可獲得 OAuth 身份驗證、自動更新,並存取更豐富的 AI 工作流程工具組。
- 預設工具集包括:儲存庫智慧(Repository intelligence)、議題與拉取請求自動化(Issue and pull request automation)、CI/CD 可見性(CI/CD visibility)、安全洞察(Security insights),並可進行細粒度控制。
- 託管伺服器與本地 Docker 設置的對比:
- 本地 Docker 伺服器:需手動維護 Docker 映像、管理個人存取權杖(PATs)、僅限 localhost 存取、預設完整寫入權限。
- 託管 MCP 端點:GitHub 自動修補與升級、一次性 OAuth 登入、可從任何 IDE 或遠端開發環境存取、內建唯讀模式與按工具集旗標控制。
- 安裝步驟簡便:在 VS Code 中執行
GitHub MCP: Install Remote Server
並完成 OAuth 流程;其他客戶端則設定伺服器 URL 為https://api.githubcopilot.com/mcp/
。可透過curl -I https://api.githubcopilot.com/mcp/healthz
驗證連接。 - 彈性配置存取控制:
- 設定唯讀模式以安全探索,例如:
{
"servers": {
"github": {
"type": "http",
"url": "https://api.githubcopilot.com/mcp/",
"mode": "read-only"
}
}
} - 透過
toolsets
陣列限制作用範圍,例如:"toolsets": ["context", "issues", "pull_requests"]
- 設定唯讀模式以安全探索,例如:
- 實際應用範例:
- 新增
CODEOWNERS
檔案並開啟拉取請求:提示 Copilot Agent 即可自動創建檔案、開啟 PR 並指派審閱者。 - 偵錯失敗的工作流程:提示
Why did the release.yml job fail last night?
即可分析日誌並建議修復。 - 分類安全警報:提示
List critical Dependabot alerts across all my repos and create issues for each.
即可列出警報並創建對應議題。
- 新增
- 未來展望:MCP 伺服器將支援 AI 生成秘密掃描(Secret scanning)及阻擋,並能直接指派議題給 Copilot,實現代理對代理(agent-to-agent)的協作工作流程。
Laravel Idea Plugin 現已免費提供給 PhpStorm 用戶 💡
Source: https://blog.jetbrains.com/phpstorm/2025/07/laravel-idea-is-now-free/
- 自 2025 年 7 月 30 日起,Laravel Idea 外掛程式對所有 PhpStorm 用戶免費開放,已安裝的用戶可直接享有所有功能。
- Laravel Idea 是基於 PhpStorm 的智慧型 Laravel 開發環境,由 Adel Faizrakhmanov 開發,擁有超過 150 萬次下載,深受 Laravel 開 發者喜愛。
- 該外掛程式擴展了 PhpStorm 內建的 Laravel 支援,提供強大的程式碼生成、進階程式碼補齊(路由、驗證、請求欄位、閘道與策略、配置、翻譯、視圖等),以及對 Eloquent ORM、Blade 組件、Livewire、Inertia.js、Dusk 和其他第三方套件的支援。
- 安裝方式:透過 PhpStorm 的
Settings | Plugins
,在Marketplace
標籤中搜尋並安裝。 - PhpStorm 作為 Laravel 開發環境的優勢:內建 JetBrains 的 AI 程式碼代理 Junie,支援 Laravel Pint、Pest、Larastan 和 Artisan CLI 命令,提供 Blade 模板和 .env 檔案的語法高亮與程式碼補齊,以及對 JavaScript/TypeScript 框架(如 Tailwind, Vue, React)和資料庫的 IDE 支援。
- Laravel Idea 外掛程式最終將會與 PhpStorm 捆綁,開箱即用。
- 常見問題:IntelliJ Ultimate 用戶也可免費使用;2025 年 5 月 1 日或之後購買 Laravel Idea 月度或年度個人授權的用戶,可獲得下一次 PhpStorm 個人訂閱續訂 50% 的折扣補償。
幫助學生突破困境:線上學習中的 AI 輔助提示 🎓
Source: https://blog.jetbrains.com/research/2025/07/ai-hints-for-online-learning/
- JetBrains 教育研究團隊開發了一款智慧型 AI 輔助提示工具,旨在為線上學習中遇到困難的學生提供個性化回饋,超越傳統 MOOCs 的自動化提示。
- 「下一步提 示生成」(Next-step hint generation)方法提供目標性、增量式的指導,將複雜任務分解為可管理的小步驟,鼓勵獨立解決問題。例如:「Add a for loop that iterates over the indices of the ‘secret’ string.」(新增一個 for 迴圈,迭代
secret
字串的索引)。 - 現有基於大型語言模型(LLM)的提示工具(如 CodeHelp, CodeAid, CS50.ai)多直接使用 LLM,可能導致不準確或產生幻覺,且需學生自行編寫提示。
- JetBrains 研究團隊的工具特點:整合於課程的整合開發環境(IDE)中、提供文字和程式碼提示、對 LLM 生成的程式碼進行後處理。
- 該提示系統使用 gpt-4o 進行 LLM 互動,最初設計用於 Kotlin,後也開發了 Python 版本並已整合到 JetBrains Academy 外掛程式中。
- 系統運作流程:學生點擊檢查按鈕後,會顯示文字提示,並在程式碼中高亮提示應用位置。透過「show in code link」可查看程式碼提示,該提示以差異高亮顯示學生程式碼與解決方案的缺失部分(例如 for 迴圈的內容),並可選擇接受提示自動應用變更。
- 程式碼提示品質優化:系統內部會先生成程式碼提示,再生成文字提示。這使得提示系統能運用 IDE 的靜態分析和程式碼品質分析功能,對 LLM 生成的程式碼進行處理,檢查程式錯誤、編碼標準違規、未定義值和語法違規,從而提升提示的準確性。例如,將
month >= && month <= 12
轉換為 Kotlin 的範圍表示法1..12
。 - 學生評估結果:學生更喜歡提示顯示在與任務相同的上下文中,並高亮程式碼中的相關位置。資料顯示學生會頻繁請求提示,特別是在較複雜的專案中。提示對於初學者特別有幫助,因為他們往往不知道該搜尋什麼或如何向 LLM 提問。