Kimi Code

Counterfactual-Variant ProverへのKimi Codeアクセスを許可する方法

設定は数秒、一度だけ。あとはKimi Codeがあなたのために動きます：サーバーのエントリを1つ追加すれば、ターミナルの中でCounterfactual-Variant Proverが動きます。

このガイドについてAIに質問

Counterfactual-Variant Prover Connector

準備完了です。MCPクライアントを選択し、セットアップ手順に従ってください。

コネクタリンクhttps://edge.vinkius.com/vk_preview_DsoSPwZEWSeSBTBSQCX8U58BqAbjy82WIsWBk6Wg/mcp

Counterfactual-Variant ProverをKimi Codeに接続

約1分、TUIで完了

  1. 1Kimi CodeのTUIで/mcp-configを実行し、対話的にサーバーを追加します（またはmcp.jsonを直接編集）。
  2. 2Counterfactual-Variant Proverという名前のサーバーを追加し、urlフィールドにあなたのリンクを入れます。上のリンクがURLです。
  3. 3/mcpを実行してステータスを確認したら、実際に頼んでみてください。Counterfactual-Variant ProverがあなたのKimi Codeの一部になりました。
設定 · claude_desktop_config.jsonコピー
{
  "mcpServers": {
    "counterfactual-variant-prover-mcp": {
      "url": "https://edge.vinkius.com/vk_preview_DsoSPwZEWSeSBTBSQCX8U58BqAbjy82WIsWBk6Wg/mcp"
    }
  }
}

Kimi Code + Counterfactual-Variant Prover

ひとつのチャット。あなたのCounterfactual-Variant Proverが、Kimi Codeの中で動く。

リアルなプロンプトに、ライブデータで回答。リンクを入れれば、Kimi Codeでこのようなセッションができます。

Waiting for input…

Works with modern AI clients that support MCP, including ChatGPT, Claude, Cursor, and more.

ChatGPTClaudeCursorPerplexityGeminiMicrosoft CopilotRaycastMeta AI

これらのプロンプトはCounterfactual-Variant Prover Connectorに付属しています。あなたの接続後は、セッションの中でそのまま使えます。

全ケイパビリティ、プロンプト、計測されたレイテンシは、 Counterfactual-Variant Prover Connectorのページにあります。

ミッションコントロール

Kimi CodeのエージェントがCounterfactual-Variant Proverで行うすべてが見える。

Kimi CodeがCounterfactual-Variant Proverでツールを実行するとき、それはエディタの中で起きています。結果は見えても、リクエストそのもの、どんなデータが含まれていたか、ルールが破られていないかは見えません。

今、すべての動きがあなたの画面に届きます。

すべての実行を記録し、ポリシーを適用し、あなたに見せます。何が実行され、何を返し、何がブロックされ、なぜか。

AI Briefing
Upgrade to unlock

Know exactly what needs your attention before you even look at the charts. One briefing. The full picture. The next move.

Requests
0
Total in this period
Avg Latency
0
API 88ms · Overhead 54ms
Vinkius Reliability
0
Agent 280 · Upstream 47 · Vinkius 15
Tokens
0
AI tokens processed
DLP Protected
0
Sensitive data redacted
Cost Saved
0
FinOps truncations applied

AI Agents Activities

last 30 days
30d agotoday

Request Volume & Latency

requests latency

Kimi CodeのエージェントがCounterfactual-Variant Proverに行うリクエストは、すべて記録・適用・監査可能です。AIガバナンスがエージェントの活動を説明責任に変える仕組みと、Counterfactual-Variant Proverのワークフローへの意味をご覧ください。

私たちが選ばれる理由

安全なのはConnectorだけではありません。あなたのエージェントがそこで行うすべてが守られます。

Counterfactual-Variant ProverをAIにつなぐのは最初の一歩です。しかし、エージェントとCounterfactual-Variant Proverの間に開かれた回線は、話の半分にすぎません。保護がなければ、実行されるすべてのアクションは無防備です。

だから、保護は入り口で止まりません。

エージェントがConnectorを通して実行するすべてのアクションは、私たちのインフラの中で動きます。署名されたアクティビティログ、24時間ごとの自動キーローテーション、驚かせるのではなく一時停止する支出制限、そしてすべての実行を分離するサンドボックス。

01

改ざん防止アクティビティログ

エージェントがCounterfactual-Variant Proverに行うリクエストはすべて記録・署名されるため、履歴への改ざんは検知できます。

02

自動キーローテーション

セキュリティキーを24時間ごとに自動更新します。Counterfactual-Variant Proverとの接続は手作業なしで守られ続けます。

03

支出保護

あなたが選んだ支出制限を適用し、超えるアクションは承認まで一時停止。Counterfactual-Variant Proverでのアクションが想定外になることはありません。

04

分離サンドボックス

Counterfactual-Variant Proverを通るすべての実行は分離され、メモリ・CPU・ネットワークアクセス・ファイル操作・実行をカバーする34以上のセキュリティルールが適用されます。

05

セキュリティイベントストリーミング

セキュリティイベントはSplunk、Datadog、専用のWebhookへ。Counterfactual-Variant Proverのアクティビティが、ふだん信頼しているツールに届きます。

06

即時レジューム

アイドル状態の接続は状態を保ったまま3〜5ミリ秒で復帰し、Kimi Codeのセッションを軽快に保ちます。

07

悪性ファイル保護

システムリソースを枯渇させる目的の圧縮ファイルを検出し、Counterfactual-Variant Proverに届く前にブロックします。

08

認証情報の検証

Counterfactual-Variant Proverの認証情報は保存前に検証します。無効な認証情報は保存されずに拒否されます。

09

分離された使用制限

使用量はアカウントごとに分離されるため、ある接続のアクティビティが他のアカウントの枠を消費することはありません。

1つのConnector、1つのリンクで、オペレーション全体が保護されます。接続だけではなく、あなたのエージェントがそこで行うすべてが対象です。

これらの保証はオプションではなく、すべてのCounterfactual-Variant Prover接続が動くインフラです。私たちのインフラストラクチャが、Kimi Codeのエージェントの作業全体をどう end-to-end で守るかをご覧ください。

Vinkiusの中で

Counterfactual-Variant ProverをあなたのAIに準備しましょう。かんたんです。

カタログでCounterfactual-Variant Proverを選び、接続用リンクを1つ受け取ります。それだけです。

  1. Counterfactual-Variant Proverを選ぶ

    カタログでCounterfactual-Variant Proverを見つけて、ワンクリックでConnectorをインストールします。

    Counterfactual-Variant Prover

    アクティブ

    Connector を有効化
    有効化中…

  2. Kimi Codeにリンクを追加する

    Vinkiusが接続用リンクを1つ発行します。Kimi CodeのTUIで、/mcp-configからurlフィールドにリンクを入れたサーバーを追加すれば、接続は完了です。

    トークンを生成しました

    MCP 接続 URL

    https://edge.vinkius.com/vk_preview_DsoSPwZEWSeSBTBSQCX8U58BqAbjy82WIsWBk6Wg/mcp

    接続トークン

    vk_live_••••••••
    ダッシュボードへ移動

一度の設定で、ふだん使っているAIでCounterfactual-Variant Proverが使えます。

FAQ

{Kimi Code}アクセスに関する質問。

  • 01

    Kimi CodeのTUIの中で使えますか？

    はい。/mcpで全サーバーの接続状態を確認し、/mcp-config login <サーバー名>でリモートサーバーのブラウザ認証を完了できます。

  • 02

    Counterfactual-Variant ProverをKimi Codeにつないだら、後でClaudeやChatGPTでも同じ接続を使えますか？

    はい、それがポイントです。接続はKimi Codeのものではなく、あなたのものです。同じリンクをどのAIに貼っても、設定し直しも追加支払いも不要。新しいAIにつなげば、Counterfactual-Variant Proverはもうそこにあります。

  • 03

    Counterfactual-Variant ProverのパスワードをKimi Codeに渡す必要はありますか？

    ありません。サインインはVinkiusで一度だけ。ログイン情報は暗号化して私たちが守り、AIには渡しません。Kimi Codeが見るのはリンクだけで、いつでも削除できます。

  • 04

    Counterfactual-Variant ProverでKimi Codeに実際何を頼めますか？

    Connectorが対応している範囲すべてです。データの確認、アクションの実行、回答を持ち帰ること。Connectorのページには、AIが得るすべてのケイパビリティとコピーできる実例が載っています。

  • 05

    Kimi CodeにConnectorが表示されません。何を確認すればいいですか？

    /mcpで接続状態を確認し、mcp.jsonのURLがリンクと完全に一致しているか、VinkiusアカウントでConnectorが有効かを確かめてください。無効化されたConnectorは応答しません。

  • 06

    後からアクセスを取り消せますか？

    mcp.jsonからエントリを削除するか（/mcp-configで削除）、セッションからはなくなります。Vinkiusアカウントには接続と履歴が残るので、次のAIですぐ使えます。

  • Counterfactual-Variant Proverについて他の質問がありますか？Connectorのページで回答しています。 Counterfactual-Variant Prover Connectorでできることをすべて見る

このConnectorについて

Counterfactual-Variant ProverがあなたのAIに追加するもの。

接続すると、あなたのAIは頼めばCounterfactual-Variant Proverの中で実際のアクションを実行できます。Connectorのページには、すべてのケイパビリティに加えて、本番環境で計測しているレイテンシと最初に試せるプロンプトを詳しく載せています。

Counterfactual-Variant Prover Connectorでできることをすべて見る