ProofHub MCP Server for VS Code Copilot 10 tools — connect in under 2 minutes
GitHub Copilot in VS Code is the most widely adopted AI coding assistant, embedded directly into the world's most popular code editor. With MCP support in Agent mode, Copilot can access external data and APIs to generate context-aware code grounded in real-time information.
ASK AI ABOUT THIS MCP SERVER
Vinkius supports streamable HTTP and SSE.
Vinkius Desktop App
The modern way to manage MCP Servers — no config files, no terminal commands. Install ProofHub and 2,500+ MCP Servers from a single visual interface.
{
"mcpServers": {
"proofhub": {
"url": "https://edge.vinkius.com/[YOUR_TOKEN_HERE]/mcp"
}
}
}
* Every MCP server runs on Vinkius-managed infrastructure inside AWS - a purpose-built runtime with per-request V8 isolates, Ed25519 signed audit chains, and sub-40ms cold starts optimized for native MCP execution. See our infrastructure
About ProofHub MCP Server
Connect your ProofHub domain to any AI agent to streamline project management and team collaboration directly from your workflow.
GitHub Copilot Agent mode brings ProofHub data directly into your VS Code workflow. With a project-scoped config, the entire team shares access to 10 tools. Copilot queries live data, generates typed code, and writes tests from actual API responses, all without leaving the editor.
What you can do
- Project Overviews — Retrieve all active projects, detailed metadata, and overarching status instantly
- Task & To-do Management — Fetch to-do lists, see assigned tasks, and even create new work items on the fly
- Team Collaboration — Read project discussions, track newly uploaded files, and access shared notebooks and documentation
- Resource Management — List all team members, check active statuses, and audit logged hours and productivity via timesheets
The ProofHub MCP Server exposes 10 tools through the Vinkius. Connect it to VS Code Copilot in under two minutes — no API keys to rotate, no infrastructure to provision, no vendor lock-in. Your configuration, your data, your control.
How to Connect ProofHub to VS Code Copilot via MCP
Follow these steps to integrate the ProofHub MCP Server with VS Code Copilot.
Create MCP config
Create a .vscode/mcp.json file in your project root
Add the server config
Paste the JSON configuration above
Enable Agent mode
Open GitHub Copilot Chat and switch to Agent mode using the dropdown
Start using ProofHub
Ask Copilot: "Using ProofHub, help me...". 10 tools available
Why Use VS Code Copilot with the ProofHub MCP Server
GitHub Copilot for Visual Studio Code provides unique advantages when paired with ProofHub through the Model Context Protocol.
VS Code is used by over 70% of developers. adding MCP tools to Copilot means your team can leverage external data without leaving their primary editor
Project-scoped MCP configs (`.vscode/mcp.json`) let you commit server configurations to your repository, ensuring the entire team shares the same tool access
Copilot's Agent mode integrates MCP tools seamlessly with file editing, terminal commands, and workspace search in a single agentic loop
GitHub's enterprise compliance and audit features extend to MCP tool usage, providing visibility into how AI interacts with external services
ProofHub + VS Code Copilot Use Cases
Practical scenarios where VS Code Copilot combined with the ProofHub MCP Server delivers measurable value.
Live API integration: Copilot can query an MCP server, inspect the response schema, and generate typed API client code in the same step
DevSecOps workflows: security teams can give developers access to domain intelligence tools directly in their editor for real-time vulnerability assessment during code review
Data pipeline development: Copilot fetches sample data via MCP and generates transformation scripts, validators, and test fixtures from actual API responses
Documentation generation: Copilot queries available tools and auto-generates README sections, API reference docs, and usage examples
ProofHub MCP Tools for VS Code Copilot (10)
These 10 tools become available when you connect ProofHub to VS Code Copilot via MCP:
create_task
You must provide a valid project ID and todolist ID. Creates a new task in a ProofHub to-do list
get_project
Retrieves full details of a ProofHub project
list_discussions
Lists all discussions (topics) in a ProofHub project
list_files
Lists all files uploaded to a ProofHub project
list_notes
Lists all notes/notebooks in a ProofHub project
list_people
Lists all team members in ProofHub
list_projects
ProofHub is a collaboration tool with tasks, discussions, and files. Lists all projects in ProofHub
list_tasks
Lists all tasks in a ProofHub to-do list
list_timesheets
Lists all timesheet entries for a project
list_todolists
Use this to find the correct list ID before querying or creating tasks. Lists all to-do lists within a ProofHub project
Example Prompts for ProofHub in VS Code Copilot
Ready-to-use prompts you can give your VS Code Copilot agent to start working with ProofHub immediately.
"List all active projects on ProofHub right now."
"Check the to-do list for 'Website Overhaul' and show what's pending."
"Create a task in project 105 (todolist 201) to 'Test checkout flow'."
Troubleshooting ProofHub MCP Server with VS Code Copilot
Common issues when connecting ProofHub to VS Code Copilot through the Vinkius, and how to resolve them.
MCP tools not available
ProofHub + VS Code Copilot FAQ
Common questions about integrating ProofHub MCP Server with VS Code Copilot.
Which VS Code version supports MCP?
How do I switch to Agent mode?
Can I restrict which MCP tools Copilot can access?
Does MCP work in VS Code Remote or Codespaces?
.vscode/mcp.json work in Remote SSH, WSL, and GitHub Codespaces environments. The MCP connection is established from the remote host, so ensure the server URL is accessible from that environment.Connect ProofHub with your favorite client
Step-by-step setup guides for every MCP-compatible client and framework:
Anthropic's native desktop app for Claude with built-in MCP support.
AI-first code editor with integrated LLM-powered coding assistance.
GitHub Copilot in VS Code with Agent mode and MCP support.
Purpose-built IDE for agentic AI coding workflows.
Autonomous AI coding agent that runs inside VS Code.
Anthropic's agentic CLI for terminal-first development.
Python SDK for building production-grade OpenAI agent workflows.
Google's framework for building production AI agents.
Type-safe agent development for Python with first-class MCP support.
TypeScript toolkit for building AI-powered web applications.
TypeScript-native agent framework for modern web stacks.
Python framework for orchestrating collaborative AI agent crews.
Leading Python framework for composable LLM applications.
Data-aware AI agent framework for structured and unstructured sources.
Microsoft's framework for multi-agent collaborative conversations.
Connect ProofHub to VS Code Copilot
Get your token, paste the configuration, and start using 10 tools in under 2 minutes. No API key management needed.