How to Use the Accessibility Prover MCP in VS Code Copilot

Q: How does Accessibility Prover work in VS Code Copilot?

It acts as a tool available to the agent via your .vscode/mcp.json file. You trigger the audit during the code generation loop.

Standardize UI compliance across your team. Use the Accessibility Prover MCP Server within VS Code Copilot.

See Vinkius in Action

Works with every AI agent you already use

…and any MCP-compatible client

MCP Servers - Free for Subscribers

Connect Accessibility Prover MCP to VS Code Copilot

Create your Vinkius account to connect Accessibility Prover to VS Code Copilot and route execution through our secure gateway. The platform manages server hosting, runtime updates, and security layers. Configuration requires no manual server provisioning.

GDPR Free for Subscribers

Setup Accessibility Prover with VS Code Copilot

Ask AI about this MCP

ChatGPT

Claude

Perplexity

Semantic validation for VS Code Copilot

The `validate_accessibility` tool forces your team's agent to map landmarks using semantic elements. It rejects any code that relies on divs for click events. This ensures every developer on your team follows the same keyboard navigation specs. Your codebases remain compliant by default.

Enforcing contrast in VS Code Copilot

Use `validate_accessibility` to cite numerical contrast ratios directly within your chat session. The tool prevents developers from shipping low-contrast text. It enforces strict adherence to WCAG 2.2 AA standards for every UI component. The agent won't commit code that fails these automated checks.

Motion and ARIA checks in VS Code Copilot

The `validate_accessibility` tool verifies that all ARIA labels and form relationships are defined correctly before completion. It flags missing labels as blocking issues. It also checks for `prefers-reduced-motion` CSS overrides to satisfy EAA 2025. Your team's projects maintain high accessibility standards without manual reviews.

Setup guide

Set up Accessibility Prover MCP in VS Code Copilot

Prerequisites

VS Code 1.99 or later with GitHub Copilot extension
Active Vinkius subscription with a valid endpoint token

1

Open MCP configuration

Open the Command Palette (Cmd+Shift+P / Ctrl+Shift+P) and run "MCP: Add Server". Select HTTP (Streamable) as the server type. VS Code will create .vscode/mcp.json in your workspace.
2

Add the Accessibility Prover MCP

Paste the JSON snippet shown on the right into your .vscode/mcp.json. Replace [YOUR_TOKEN_HERE] with your endpoint token from cloud.vinkius.com.
3

Switch to Agent mode

Open Copilot Chat (Cmd+Shift+I / Ctrl+Shift+I) and switch to Agent mode using the dropdown. MCP tools are only available in Agent mode — they do not appear in Edit or Ask modes.
4

Verify the connection

In the Copilot Chat input, type # to list available tools. You should see the Accessibility Prover tools listed. Try asking: "List my recent Accessibility Prover transactions" and Copilot will invoke them automatically.

.vscode/mcp.json

{
  "mcpServers": {
    "accessibility-prover-mcp": {
      "url": "https://edge.vinkius.com/[YOUR_TOKEN_HERE]/mcp"
    }
  }
}

Get your connection token →

Independent Platform Disclaimer: Vinkius is an independent platform and is not affiliated with, endorsed by, sponsored by, verified by, or otherwise authorized by Accessibility Prover. All third-party trademarks, logos, and brand names are the property of their respective owners. Their use on this website is strictly for informational purposes to identify service compatibility and interoperability.

Why Choose Vinkius

Vinkius connects your tools to AI with real-time monitoring and automatic cost savings — all from one dashboard.

Connect Accessibility Prover now

Real-time monitoring

Live

visibility into every interaction

Connect your favorite tools to your AI and see exactly what's happening — every request, every response, in real time.

Built-in savings

60%

lower AI costs

Vinkius compresses data between your apps and your AI automatically. Lower bills every month — no configuration required.

Single dashboard

One

place for every integration

Every tool your AI connects to, managed from a single screen. One account, complete control.

Common questions about Accessibility Prover MCP in VS Code Copilot

Yes, you can commit the server configuration to your repo. Every team member gets the same audit tools automatically.

It acts as a tool available to the agent via your `.vscode/mcp.json` file. You trigger the audit during the code generation loop.

It provides consistent feedback on semantic markup and contrast. By standardizing these checks, you reduce the time spent in code review.

The server runs locally within your development environment. It fits perfectly into SOC 2 compliant workflows.

Your source code and UI definitions never leave your local environment. The server only processes the raw text of your components to check for accessibility violations.

Use it with your favorite AI tools

Connect this server to Cursor, Claude, VS Code, and more.

OpenAI Agents SDK sdk-python

Google ADK sdk-python

Pydantic AI sdk-python

Vercel AI SDK sdk-typescript