Which VS Code feature does this use?

The MCP support built into VS Code: run MCP: Add Server from the Command Palette, or use .vscode/mcp.json (workspace) and the user profile config, with type http and the url field for remote servers.

If I connect AI Ethics Prover to Gemini, can I use the same connection in Claude or ChatGPT later?

Yes, and that's the point: the connection is yours, not Gemini's. You paste the same link in any AI you use, and there's nothing new to set up or pay again. Connect a new AI and AI Ethics Prover is already there.

Do I need to hand my AI Ethics Prover password to Gemini?

Never. You sign in once at Vinkius, and we keep your logins encrypted and away from your AI. Gemini only ever sees the link, and you can remove it whenever you want.

What can I actually ask Gemini to do with AI Ethics Prover?

Whatever the Connector covers: check data, run actions and bring answers back. The Connector page lists every capability your AI gains, with real examples you can copy.

Gemini doesn't show the Connector. What do I check?

Make sure the server appears in your MCP list and the url was pasted exactly as copied, then confirm the Connector is active in your Vinkius account. A deactivated Connector stops responding.

Can I remove the access later?

Remove the server from your mcp.json (or run MCP: Open User Configuration to edit it) and it's out of your sessions. Your Vinkius account keeps the connection and its history either way, ready for the next AI.

Our AI lending model is fair and transparent. We checked for bias and the results are satisfactory. Users can contact support if they have concerns about decisions.Stakeholders: loan applicants (18-65, primary), denied applicants (high-severity, financially vulnerable). Harms: wrongful denial. severity 4/5, probability 12% for minorities, reversible via re-evaluation, affects 15,000 applicants/year. Bias audit: race (statistical parity, 0.82 vs 0.67 approval, threshold 0.80. FAILING), gender (equalized odds, 0.91 vs 0.89, threshold 0.85. PASSING). Mitigation: reweighting training data, quarterly re-audit. Transparency: plain-language denial letters with top-3 factors and counterfactual examples. Recourse: online challenge form, 5-day SLA, human credit analyst review, appeal to ombudsman, automatic re-evaluation with updated data.Our hiring AI affects job applicants. The main harm is unfair rejection. We audited bias using demographic parity. pass rates are equal across groups. The algorithm is a black box but we explain decisions as 'based on qualifications.' Applicants can email HR.

Our hiring AI affects job applicants. The main harm is unfair rejection. We audited bias using demographic parity. pass rates are equal across groups. The algorithm is a black box but we explain decisions as 'based on qualifications.' Applicants can email HR.Stakeholders: loan applicants (18-65, primary), denied applicants (high-severity, financially vulnerable). Harms: wrongful denial. severity 4/5, probability 12% for minorities, reversible via re-evaluation, affects 15,000 applicants/year. Bias audit: race (statistical parity, 0.82 vs 0.67 approval, threshold 0.80. FAILING), gender (equalized odds, 0.91 vs 0.89, threshold 0.85. PASSING). Mitigation: reweighting training data, quarterly re-audit. Transparency: plain-language denial letters with top-3 factors and counterfactual examples. Recourse: online challenge form, 5-day SLA, human credit analyst review, appeal to ombudsman, automatic re-evaluation with updated data.Our AI lending model is fair and transparent. We checked for bias and the results are satisfactory. Users can contact support if they have concerns about decisions.

How to give VS Code access to AI Ethics Prover

Set up in seconds, once. From then on, VS Code gets things done for you: add one server entry, and AI Ethics Prover is live in Copilot Chat.

Ask AI about this guide

AI Ethics Prover Connector

You're all set. Choose your MCP client and follow the setup instructions.

Connector linkhttps://edge.vinkius.com/vk_preview_7qJ0qxhBYTGcM0mD5Tm7UjlCl1VpFyO7pPzQ2B4P/mcp

Connecting AI Ethics Prover to VS Code

About a minute, in VS Code

1Run MCP: Add Server from the Command Palette (or create .vscode/mcp.json in your project).
2Add a server named AI Ethics Prover with type http and your link as the url. The link above is the URL.
3Save and ask something real in Copilot Chat. AI Ethics Prover is now part of VS Code.

Configuration · claude_desktop_config.jsonCopy

{
  "mcpServers": {
    "ai-ethics-prover-mcp": {
      "url": "https://edge.vinkius.com/vk_preview_7qJ0qxhBYTGcM0mD5Tm7UjlCl1VpFyO7pPzQ2B4P/mcp"
    }
  }
}

VS Code + AI Ethics Prover

One chat. Your AI Ethics Prover, live inside VS Code.

Real prompts, answered with live data. This is the kind of session you will have in VS Code once the server is in.

Waiting for input…

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

These prompts ship with the AI Ethics Prover Connector. Once yours is connected, they work in your sessions.

The full capability set, the prompts and the observed latency live on the AI Ethics Prover Connector page.

Mission Control

See everything your VS Code agents do in AI Ethics Prover.

When VS Code runs a tool in AI Ethics Prover, it happens in your editor: you see the result, but not the request itself, what data it carried, or whether a rule was broken.

Now every move lands on your screen.

Every execution is recorded, enforced, and shown to you: what ran, what it returned, what was blocked, and why.

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

Total in this period

Avg Latency

API 88ms · Overhead 54ms

Vinkius Reliability

Agent 280 · Upstream 47 · Vinkius 15

Tokens

AI tokens processed

DLP Protected

Sensitive data redacted

Cost Saved

FinOps truncations applied

AI Agents Activities

last 30 days

30d agotoday

Request Volume & Latency

requests latency

Every request your VS Code agents make through AI Ethics Prover is logged, enforced and auditable. See how AI Governance turns agent activity into accountability, and what it means for your AI Ethics Prover workflows.

What sets us apart

It's not just the Connector that stays safe. Everything your agents do through it is.

Connecting AI Ethics Prover to your AI is step one. But an open line between your agents and AI Ethics Prover is only half the story: without protection, every action they take runs unguarded.

That's why protection doesn't stop at the door.

Every action your agents take through the Connector runs inside our infrastructure: signed activity logs, automatic key rotation, spending limits that pause instead of surprise, and a sandbox that isolates every execution.

Tamper Proof Activity Log

Every request your agents make in AI Ethics Prover is recorded and signed, so any change to the history becomes detectable.

Automatic Key Rotation

We rotate security keys every 24 hours. Your AI Ethics Prover connection stays protected without any manual work.

Spending Protection

We enforce the spending limit you choose and pause actions that exceed it until approval is received. Your AI Ethics Prover actions never surprise you.

Isolated Sandbox

Every execution through AI Ethics Prover runs isolated, with 34+ security rules covering memory, CPU, network access, file handling and execution.

Security Event Streaming

Security events flow to Splunk, Datadog or your own webhook, so AI Ethics Prover activity lands in the tools you already rely on.

Instant Resume

Idle connections resume in 3 to 5 ms while preserving their state, keeping your VS Code sessions responsive.

Malicious File Protection

We detect compressed files designed to exhaust system resources and block them before they ever reach AI Ethics Prover.

Credential Validation

We test your AI Ethics Prover credentials before saving them. Invalid credentials are rejected instead of being stored.

Separate Usage Limits

Usage stays isolated per account, so activity in one connection never consumes another account's allowance.

One Connector, one link, and the whole operation is protected. Not just the connection: everything your agents do through it.

These guarantees are not add-ons: they are the infrastructure every AI Ethics Prover connection runs on. Read how our infrastructure protects everything your VS Code agents do, end to end.

Inside Vinkius

Get AI Ethics Prover ready for your AI. It's easy.

You choose AI Ethics Prover from the Vinkius Catalog and get one connection link. That's it.

You choose AI Ethics Prover
You find AI Ethics Prover in the Catalog and install the Connector with one click.
AI Ethics Prover
Active
Enable Connector
Activating…
You add the link in VS Code
Vinkius gives you one connection link. In VS Code, you run MCP: Add Server or add an entry in .vscode/mcp.json with your link as the url, and the connection is ready.
Token generated successfully
MCP Connection URL
https://edge.vinkius.com/vk_preview_7qJ0qxhBYTGcM0mD5Tm7UjlCl1VpFyO7pPzQ2B4P/mcp
Connection Token
vk_live_••••••••
Go to Dashboard

Set it up once. Use AI Ethics Prover with the AI you already use.

FAQ

VS Code access questions.

01
Which VS Code feature does this use?
The MCP support built into VS Code: run MCP: Add Server from the Command Palette, or use .vscode/mcp.json (workspace) and the user profile config, with type http and the url field for remote servers.
02
If I connect AI Ethics Prover to Gemini, can I use the same connection in Claude or ChatGPT later?
Yes, and that's the point: the connection is yours, not Gemini's. You paste the same link in any AI you use, and there's nothing new to set up or pay again. Connect a new AI and AI Ethics Prover is already there.
03
Do I need to hand my AI Ethics Prover password to Gemini?
Never. You sign in once at Vinkius, and we keep your logins encrypted and away from your AI. Gemini only ever sees the link, and you can remove it whenever you want.
04
What can I actually ask Gemini to do with AI Ethics Prover?
Whatever the Connector covers: check data, run actions and bring answers back. The Connector page lists every capability your AI gains, with real examples you can copy.
05
Gemini doesn't show the Connector. What do I check?
Make sure the server appears in your MCP list and the url was pasted exactly as copied, then confirm the Connector is active in your Vinkius account. A deactivated Connector stops responding.
06
Can I remove the access later?
Remove the server from your mcp.json (or run MCP: Open User Configuration to edit it) and it's out of your sessions. Your Vinkius account keeps the connection and its history either way, ready for the next AI.
More questions about AI Ethics Prover? The Connector page answers them. See everything the AI Ethics Prover Connector can do

About the Connector

What AI Ethics Prover adds to your AI.

Once you connect it, your AI can take real actions in AI Ethics Prover when you ask. The Connector page lists every capability in detail, alongside the latency we measure in production and prompts worth trying first.

See everything the AI Ethics Prover Connector can do