Check

Check在命令執行前攔住 AI 的幻覺命令

Check 是一款面向 AI 編碼代理的預檢工具,在命令執行前核對依賴、路徑和函式呼叫是否真實存在,攔截幻覺。支援 Claude Code 等,每日 120 次免費請求,按次計費,目前僅支援 Windows。

freemium
AI編碼代理命令預檢幻覺攔截Claude Code開發工具AI可靠性程式碼驗證預檢門AI工具
收錄日期
4.0 (0 評價數量)

登錄后可為項目評分

用過 AI 編碼代理的人大概都碰到過這種情況:它自信地引用一個不存在的包,呼叫一個從未定義的函式,或者執行一條目標路徑完全寫錯的命令。更麻煩的是,它會繼續在這個錯誤基礎上一層層疊新程式碼。Check 就是為解決這個問題出現的——它把自己定位成 AI 代理的"現實層"。

不是又一個 AI,而是一道閘門

Check 本身不包含任何 AI 模型,它做的事情很純粹:在每條命令實際執行之前,對照你專案裡的真實依賴、原始檔和系統環境做一次校驗。用官方的話說,它是一道 preflight gate(預檢門),不是建議,也不是外掛式的軟提醒,而是命令發出後、真正執行前的硬攔截。

它檢查的對象很具體:命令是否存在、引用的路徑是否真實、呼叫的函式或匯入的包是否在專案或 npm 倉庫裡找得到。檢查結果直接來自本機環境,包括 shell 解析、PATH 查詢和 npm registry 查詢,然後再把機器給出的真實裁決返回。

安裝與接入:一條命令,免註冊

安裝方式對開發者相當友好。在安裝了 Claude Code 的 Windows 機器上,執行 npx @golproductions/check@latest --install,它會在本地建立一個免費客戶端 ID,並自動把 Check 接入 Claude Code 的預檢流程。整個過程不需要註冊賬號,也不需要貼上 key。官方也提到了帶 key 的安裝形式:npx @golproductions/check --install your_key

按官方說明,Check 目前與 Claude CodeCursorAntigravity 配合使用,但安裝器目前只在 Windows 上驗證過。Mac 和 Linux 的構建尚未確認穩定,安裝器會直接拒絕在這兩個平臺上繼續。

定價與免費額度

Check 採用按次計費的模式,每校驗一次收費 $0.0068 AUD(澳元)。好訊息是它提供每日 120 次免費請求,無論是使用者訊息還是 AI 命令都計入次數。超過免費額度後,可以在控制檯關聯 key 並充值,預付費餘額會繼續覆蓋後續檢查。

  • 免費額度:每天 120 次,覆蓋日常輕度使用
  • 超出後:按次扣費,預付費,無訂閱繫結
  • 貨幣:澳元計價,注意價格換算

隱私邊界與需要清醒認識的侷限

官方對隱私的說明比較直白:被檢查的命令文字會傳送到他們的邊緣伺服器,在記憶體中完成校驗後立即丟棄,倉庫和原始檔不會被上傳。唯一的例外是他們自己控制的內部測試 key,其產生的命令文字會用於生成公開案例研究,普通使用者的資料不會保留。賬戶側只保留錢包餘額和計費歷史。

需要特別強調,Check 不是安全工具。它攔截的是"虛假"內容,即幻覺出來的命令、包和路徑;但如果一條命令真實存在,只是被指向了錯誤的地方,它依然會放行。官方建議把它與真正的安全防護層搭配使用,而不是替代。

此外,Check 的判定邏輯執行在服務端,屬於閉源設計。官方解釋是"沒什麼值得破解的東西會分發到你的機器上",但這也意味著你無法通過閱讀程式碼來審計校驗邏輯,只能通過實際執行來驗證效果。對於在意透明度的團隊,這一點需要提前權衡。

實用建議

  • 先用免費額度在你的真實專案裡跑幾天,觀察它對 AI 幻覺的攔截率是否符合預期。
  • 如果開發機是 Mac 或 Linux,暫時別硬裝;等官方釋出驗證過的構建再說。
  • 把 Check 當作風控前置層,不要依賴它處理惡意或有危害的命令,安全掃描照常做。

總的來說,Check 解決的是一個很小但很痛的工程問題。它沒有誇大的宣傳,定價也清晰,至少在 Windows 生態下,給頻繁使用 AI 編碼代理的開發者提供了一個值得嘗試的保險絲。

優缺點

優點

  • 針對 AI 幻覺提供務實攔截
  • 安裝簡單,一條命令接入 Claude Code
  • 每日免費額度足夠日常試用
  • 隱私設計明確,不上傳原始碼

缺點

  • 目前僅支援 Windows
  • 驗證邏輯閉源,需信任服務端
  • 不是安全工具,無法攔截真實有害命令
  • 按次收費,重度使用成本需自行核算

常見問題

Check 免費嗎?

Check 提供每日 120 次免費檢查,包括使用者訊息和 AI 命令。超過免費額度後需要關聯 key 並充值,按次扣費,無訂閱費用。

Check 支援哪些 AI 編碼工具?

官方明確表示支援 Claude Code、Cursor 和 Antigravity,並可與 Claude Code 自動整合。其他工具的支援情況未提及。

Check 在 Mac 或 Linux 上能用嗎?

目前安裝器僅支援 Windows。Mac 和 Linux 的構建尚未驗證,安裝器會自動拒絕在這些平臺執行。

Check 會讀取我的原始碼嗎?

不會。官方宣告只傳送被檢查的命令文字到邊緣伺服器,並在記憶體中處理後立即丟棄,倉庫和原始檔不會被上傳。

Check 能攔截所有有害命令嗎?

不能。Check 只攔截不真實的命令、包或路徑,對於真實但有害的命令不設防。它不是安全工具,需要配合安全防護層使用。

探索更多

相似工具

TrueCode

TrueCode 是一個面向 AI 時代的程式設計評估平臺,不封禁 AI,讓候選人在完整 IDE 中完成真實除錯任務,並通過 TruScore™ 從結果、驗證、校準、AI 使用質量和過程五個維度打分。它用後置攝像頭每 10 秒記錄桌面,生成可解釋報告。候選人可免費練習並獲取驗證檔案,招聘方可並排對比。適合技術招聘、團隊評估與課堂場景。

AgentSite

AgentSite

AgentSite 是一種面向 AI 搜尋時代的中介軟體,解決 React、Vue 等單頁應用對 ChatGPT、Claude、Perplexity 等 agent 不可見的問題。它無需修改網站程式碼,通過注入 meta、JSON-LD、markdown 等標記提升 AI 可讀性,提供免費診斷,支援 nginx、Express、Edge 多種部署方式。

Bodega One Code

Bodega One Code

Bodega One Code 是一款本地優先的 AI 編碼 IDE, 內建聊天與自主 agent, 支援 Ollama、OpenAI、Anthropic 等 10+ 模型提供商。個人使用永久免費, 提供並行 agent (Fleet) 和自動化迴圈 (Loops), 注重資料隱私與模型自由。

Nadir

Nadir

Nadir 是一款驗證器門控的 LLM 路由器:先用便宜模型回答,再由校準驗證器打分,質量不足才升級。官方稱可省 60% 成本、保持 98% 質量,OpenAI 相容、兩行接入,適合請求量大但複雜度不均的團隊。

StackBuilder

StackBuilder

StackBuilder 是一款免費的 AI 雲架構圖生成工具,用自然語言描述系統即可自動生成 AWS、Azure、GCP、Kubernetes 等架構圖,支援匯出 PNG、SVG、PDF,無需註冊,適合系統設計面試、架構文件和演示場景。

Nest by RAVEN

Nest by RAVEN

Nest by RAVEN(官網品牌名 NestMux)是一款面向開發者的多 AI 終端工作臺,可在同一視窗並行執行 Claude、Gemini、Codex、Copilot 和 Aider,支援 Git worktrees、團隊終端共享、MCP 面板與廣播提示。本地優先、無遙測,免費開放下載,支援 macOS、Windows、Linux。

開源專案

guidellm: 評估與優化LLM推理性能的開源工具

guidellm 是由 vLLM 團隊開發的開源工具,用於評估和優化大型語言模型(LLM)在生產環境中的推理性能。它提供壓力測試、延遲分析和吞吐量評估,幫助開發者識別瓶頸並調整部署配置。項目主要使用 Python 編寫,採用 Apache-2.0 許可證,在採集時擁有 1214 個星標。

ai-gateway: 基於 Envoy Gateway 的統一 AI 網關

ai-gateway 是一個基於 Envoy Gateway 的開源項目,提供統一的 API 網關來管理對多種生成式 AI 服務的訪問。它簡化了 AI 應用的集成與運維,支持負載均衡、緩存和速率限制等功能。項目使用 Go 語言開發,採用 Apache-2.0 許可證。

go-micro:融合AI與微服務的Go框架

go-micro是一個開源的Go程式語言框架,它融合了AI代理工具集與微服務架構,並支持MCP、A2A協議以及多LLM集成。該項目採用Apache-2.0許可證,主要使用Go語言開發。截至採集時,該項目在GitHub上獲得22755顆星。

Kun: 本地優先的 AI 代理工作區

Kun 是一個本地優先的 AI 代理工作區,通過共享 GUI 和 TUI 運行時統一編碼、寫作、設計、研究和自動化。項目主要使用 TypeScript 開發,許可證為 Other。截至採集時擁有 4813 個 GitHub 星標。

terax-ai: 輕量級Tauri桌面開發環境

terax-ai 是一個基於 Tauri 的桌面開發環境,體積僅 7-8 MB。它集成了 GPU 終端、CodeMirror 編輯器、Git 工具和多提供商 AI 代理,為開發者提供一體化的開發體驗。項目主要使用 TypeScript 編寫,採用 Apache-2.0 許可證。

jar-analyzer: Java JAR包分析GUI工具,集成AI助手

jar-analyzer 是一款開源的 Java JAR 包分析 GUI 工具,集成了 AI 助手。它提供 JAR DIFF、方法調用圖探索、DFS 調用鏈分析、汙點分析以及控制流圖程序分析等強大功能,適用於 Java 開發者和安全研究員,簡化代碼審計與逆向工程任務。項目主要語言為 Java,採用 GPL-3.0 許可證,在採集時擁有 2111 個星標。