ProofHub MCP Server for Google ADK 10 tools — connect in under 2 minutes
Google Agent Development Kit (ADK) is Google's framework for building production AI agents. Add ProofHub as an MCP tool provider through Vinkius and your ADK agents can call every tool with full schema introspection.
ASK AI ABOUT THIS MCP SERVER
Vinkius supports streamable HTTP and SSE.
from google.adk.agents import Agent
from google.adk.tools.mcp_tool import McpToolset
from google.adk.tools.mcp_tool.mcp_session_manager import (
StreamableHTTPConnectionParams,
)
# Your Vinkius token. get it at cloud.vinkius.com
mcp_tools = McpToolset(
connection_params=StreamableHTTPConnectionParams(
url="https://edge.vinkius.com/[YOUR_TOKEN_HERE]/mcp",
)
)
agent = Agent(
model="gemini-2.5-pro",
name="proofhub_agent",
instruction=(
"You help users interact with ProofHub "
"using 10 available tools."
),
tools=[mcp_tools],
)
* 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.
Google ADK natively supports ProofHub as an MCP tool provider. declare Vinkius Edge URL and the framework handles discovery, validation, and execution automatically. Combine 10 tools with Gemini's long-context reasoning for complex multi-tool workflows, with production-ready session management and evaluation built in.
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 Google ADK 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 Google ADK via MCP
Follow these steps to integrate the ProofHub MCP Server with Google ADK.
Install Google ADK
Run pip install google-adk
Replace the token
Replace [YOUR_TOKEN_HERE] with your Vinkius token
Create the agent
Save the code above and integrate into your ADK workflow
Explore tools
The agent will discover 10 tools from ProofHub via MCP
Why Use Google ADK with the ProofHub MCP Server
Google ADK provides unique advantages when paired with ProofHub through the Model Context Protocol.
Google ADK natively supports MCP tool servers. declare a tool provider and the framework handles discovery, validation, and execution
Built on Gemini models, ADK provides long-context reasoning ideal for complex multi-tool workflows with ProofHub
Production-ready features like session management, evaluation, and deployment come built-in. not bolted on
Seamless integration with Google Cloud services means you can combine ProofHub tools with BigQuery, Vertex AI, and Cloud Functions
ProofHub + Google ADK Use Cases
Practical scenarios where Google ADK combined with the ProofHub MCP Server delivers measurable value.
Enterprise data agents: ADK agents query ProofHub and cross-reference results with internal databases for comprehensive analysis
Multi-modal workflows: combine ProofHub tool responses with Gemini's vision and language capabilities in a single agent
Automated compliance checks: schedule ADK agents to query ProofHub regularly and flag policy violations or configuration drift
Internal tool platforms: build self-service agent platforms where teams connect their own MCP servers including ProofHub
ProofHub MCP Tools for Google ADK (10)
These 10 tools become available when you connect ProofHub to Google ADK 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 Google ADK
Ready-to-use prompts you can give your Google ADK 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 Google ADK
Common issues when connecting ProofHub to Google ADK through the Vinkius, and how to resolve them.
McpToolset not found
pip install --upgrade google-adkProofHub + Google ADK FAQ
Common questions about integrating ProofHub MCP Server with Google ADK.
How does Google ADK connect to MCP servers?
Can ADK agents use multiple MCP servers?
Which Gemini models work best with MCP tools?
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 Google ADK
Get your token, paste the configuration, and start using 10 tools in under 2 minutes. No API key management needed.
