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 个星标。