Check

CheckAIエージェントの幻覚を実行前に防ぐ現実的なツール

Check は AI コーディングエージェント向けの事前検証ツール。コマンド実行前に依存関係やパス、関数呼び出しの実在性を確認し、幻覚をブロック。Claude Code などに対応。毎日120回の無料リクエスト、従量課金、現時点では Windows のみ。

freemium
AIコーディングエージェントコマンド事前検証幻覚防止Claude Code開発ツールAI信頼性コード検証プリフライトゲートAIツール
登録日
4.0 (0 レビュー数)

ログイン後に評価できます

AI コーディングエージェントを使っていると、あるあるの光景に遭遇する。存在しないパッケージを自信満々に引用し、定義した覚えのない関数を呼び出し、パスが完全に間違ったコマンドを実行しようとする。しかも、その誤った情報の上にさらにコードを積み重ねていく。そんな体験をした開発者は少なくないだろう。Check はまさにこの問題に向き合うために作られた。自分自身を AI エージェントの「現実レイヤー」と位置づけている。

AI ではなく、ゲートである

Check には AI モデルが一切含まれていない。やっていることは単純だ。コマンドが実際に実行される前に、プロジェクトの実在する依存関係、ソースファイル、システム環境と照合する。公式の言葉を借りれば、これは preflight gate(事前検証ゲート)であり、提案でもソフトな注意でもない。コマンドが発行された後、実際に走る前にハードに遮断する。

具体的にチェックするのは、コマンドが存在するか、参照パスが実在するか、呼び出される関数やインポートされるパッケージがプロジェクトや npm リポジトリで見つかるか。判定はシェルの解決や PATH の探索、npm registry の照会を経て返される。

インストールと接続:1コマンドで登録不要

導入はかなり開発者に優しい。Claude Code が入った Windows マシンで、npx @golproductions/check@latest --install を実行すると、ローカルに無料のクライアント ID が作成され、自動的に Claude Code の事前検証フローに組み込まれる。アカウント登録もキー貼り付けも不要だ。公式には、キーを使う npx @golproductions/check --install your_key という形も示されている。

対応ツールは現時点で Claude Code、Cursor、Antigravity。ただし、インストーラは Windows のみ検証済みで、Mac と Linux のビルドは未確認。インストーラはそれらの環境だと動作を拒否する。

料金設計と無料枠

課金は従量制で、チェック1回につき 0.0068 AUD(豪ドル)だ。幸い、1日 120 回の無料リクエストが含まれており、ユーザーメッセージと AI コマンドのどちらもカウントされる。無料枠を超えたら、コンソールでキーを連携してチャージし、プリペイド残高で継続利用できる。

  • 無料枠:1日120回、日常のライトユースをカバー
  • 超過分:従量課金、プリペイド、サブスクなし
  • 通貨:豪ドル建て。為替に注意

プライバシーと限界、そして現実的な使い方

プライバシーについての公式説明は明快だ。チェック対象のコマンドテキストはエッジサーバに送信され、メモリ上で検証された後すぐに破棄される。リポジトリやソースファイルはアップロードされない。唯一の例外は内部テスト用キーで、そのコマンドテキストは公開ケーススタディに使われるが、一般ユーザーのデータは残らない。アカウント側ではウォレット残高と請求履歴だけが保持される。

ここで強調しておきたいのは、Check はセキュリティツールではないという点だ。ブロックするのは「幻覚」、つまり存在しないコマンド、パッケージ、パスだ。実在するが誤った場所を指すコマンドは通過してしまう。公式も、真のセキュリティ層と組み合わせて使うべきとしている。

さらに、判定ロジックはサーバーサイドで動き、クローズドソースだ。「分解する価値のあるものはマシンに配布されない」というのが公式の説明だけど、コードで監査できないという意味でもある。透明性を重視するチームは、この点を事前に天秤にかける必要がある。

  • まずは無料枠で実際のプロジェクトを数日走らせ、AI の幻覚をどの程度ブロックできるか体感してみる。
  • 開発マシンが Mac や Linux なら、今は無理に導入しないこと。公式の検証ビルドを待つ。
  • Check はリスク管理の前置き層として使う。悪意のあるコマンドや有害な動作は相手にせず、セキュリティスキャンは通常通り実施すること。

全体として、Check は小さいけれど痛いエンジニアリング上の問題に切り込んだ製品だ。誇大な宣伝もなく、価格設計も明確。少なくとも Windows 環境で AI コーディングエージェントを頻繁に使う開発者にとって、試す価値のあるヒューズになるだろう。

メリット・デメリット

メリット

  • AIの幻覚に対して実用的なブロックを提供
  • インストールが簡単で、1コマンドでClaude Codeに組み込める
  • 1日120回の無料枠があり、試用に十分
  • プライバシー設計が明確で、ソースコードをアップロードしない

デメリット

  • 現時点ではWindowsのみ対応
  • 検証ロジックがクローズドソースで、サーバー側に依存
  • セキュリティツールではないため、実在する有害コマンドは防げない
  • 従量課金のため、ヘビーユーザーはコスト計算が必要

よくある質問

Check は無料で使えますか?

Check は1日120回の無料チェックを提供します。ユーザーメッセージと AI コマンドの両方が対象です。無料枠を超えると、キーを連携してチャージし、従量課金で利用できます。

Check はどの AI コーディングツールに対応していますか?

公式には Claude Code、Cursor、Antigravity に対応し、Claude Code には自動統合されます。他のツールのサポートは明記されていません。

Check は Mac や Linux で使えますか?

現時点ではインストーラが Windows のみ対応です。Mac と Linux のビルドは未検証で、インストーラは他のプラットフォームでは実行を拒否します。

Check はソースコードを読み取りますか?

読み取りません。公式によると、チェックするコマンドテキストだけがエッジサーバに送信され、メモリ上で処理された後すぐに破棄されます。リポジトリやソースファイルはアップロードされません。

Check はすべての有害なコマンドをブロックできますか?

できません。Check は存在しないコマンドやパッケージ、パスなど「幻覚」のみをブロックします。実在するが有害なコマンドは通すため、セキュリティツールとしては使えません。

もっと見る

類似ツール

TrueCode

プログラミング面接でAIを禁止するのは現実的でなくなった。TrueCodeは候補者がAIとの協働でどう判断するかをTruScore™で可視化し、後置カメラでその過程を記録する、新しいタイプの開発者評価ツールだ。

AgentSite

AgentSite

AgentSiteはReact/Vue製SPAをChatGPTやClaude、PerplexityといったAIエージェントにも見えるようにする中間層。コードを変えずにmeta・JSON-LD・markdownを注入し、無料診断で即座にスコアを確認できる。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 は自然言語でシステムを記述するだけで、AWS や Azure などのクラウド構成図を自動生成する無料ツール。登録不要で 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 をベースにしたオープンソースプロジェクトで、複数の生成 AI サービスへのアクセスを管理する統一 API ゲートウェイを提供します。AI アプリケーションの統合と運用を簡素化し、ロードバランシング、キャッシュ、レート制限などの機能をサポートしています。このプロジェクトは Go 言語で開発され、Apache-2.0 ライセンスを採用しています。

go-micro:AIとマイクロサービスを融合したGoフレームワーク

go-microは、AIエージェントツールセットとマイクロサービスアーキテクチャを融合したオープンソースのGoプログラミング言語フレームワークです。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-8MBです。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 個のスターを保有しています。