Windsurf

AI Ethics ProverへのWindsurfアクセスを許可する方法

設定は数秒、一度だけ。あとはWindsurfがあなたのために動きます：add one server entry, and AI Ethics Prover is live in Cascade.

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

AI Ethics Prover Connector

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

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

AI Ethics ProverをWindsurfに接続

約1分、Cascadeで完了

  1. 1CascadeでMCPsアイコンをクリックします（またはSettings、Cascade、MCP Serversへ）。
  2. 2mcp_config.jsonを編集し、AI Ethics ProverをserverUrlフィールドにあなたのリンクを設定して追加します。上のリンクがURLです。
  3. 3保存して実際に頼んでみてください。AI Ethics ProverがあなたのWindsurfの一部になりました。
設定 · claude_desktop_config.jsonコピー
{
  "mcpServers": {
    "ai-ethics-prover-mcp": {
      "url": "https://edge.vinkius.com/vk_preview_7qJ0qxhBYTGcM0mD5Tm7UjlCl1VpFyO7pPzQ2B4P/mcp"
    }
  }
}

Windsurf + AI Ethics Prover

ひとつのチャット。あなたのAI Ethics Proverが、Windsurfの中で動く。

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

Waiting for input…

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

ChatGPTClaudeCursorPerplexityGeminiMicrosoft CopilotRaycastMeta AI

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

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

ミッションコントロール

WindsurfのエージェントがAI Ethics Proverで行うすべてが見える。

WindsurfがAI Ethics 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

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

私たちが選ばれる理由

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

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

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

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

01

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

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

02

自動キーローテーション

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

03

支出保護

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

04

分離サンドボックス

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

05

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

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

06

即時レジューム

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

07

悪性ファイル保護

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

08

認証情報の検証

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

09

分離された使用制限

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

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

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

Vinkiusの中で

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

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

  1. AI Ethics Proverを選ぶ

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

    AI Ethics Prover

    アクティブ

    Connector を有効化
    有効化中…

  2. Windsurfにリンクを追加する

    Vinkiusが接続用リンクを1つ発行します。Windsurfで、mcp_config.jsonにserverUrlフィールドでリンクを設定してAI Ethics Proverを追加すれば、接続は完了です。

    トークンを生成しました

    MCP 接続 URL

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

    接続トークン

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

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

FAQ

Windsurfアクセスに関する質問。

  • 01

    どこで使えますか？

    Cascade：MCPsアイコンまたはSettings、Cascade、MCP Serversからアクセスし、設定は~/.codeium/windsurf/mcp_config.jsonに、リモートサーバーはserverUrlフィールドを使います。

  • 02

    AI Ethics ProverをGeminiにつないだら、後でClaudeやChatGPTでも同じ接続を使えますか？

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

  • 03

    AI Ethics ProverのパスワードをGeminiに渡す必要はありますか？

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

  • 04

    AI Ethics ProverでGeminiに実際何を頼めますか？

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

  • 05

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

    Make sure the entry was saved in mcp_config.json with the serverUrl pasted exactly as copied, then confirm the Connector is active in your Vinkius account. A deactivated Connector stops responding.

  • 06

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

    Remove the entry from mcp_config.json and it's out of Cascade. Your Vinkius account keeps the connection and its history either way, ready for the next AI.

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

このConnectorについて

AI Ethics ProverがあなたのAIに追加するもの。

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

AI Ethics Prover Connectorでできることをすべて見る