kevros-mcp

kevros-mcp

Governance primitives for autonomous agents. Verify actions against policy, record signed provenance, and bind intents cryptographically. Free tier available.

Category
Visit Server

README

Kevros MCP Server

Runtime intelligence for autonomous AI agents. Verify actions against policy, record hash-chained provenance, and bind intents cryptographically.

Quick Start

No installation required. Connect directly to the hosted server:

https://governance.taskhawktech.com/mcp/

Claude Desktop / Claude Code

Add to your MCP settings:

{
  "mcpServers": {
    "kevros": {
      "url": "https://governance.taskhawktech.com/mcp/"
    }
  }
}

Python SDK

pip install kevros

Get an API key first (free, 1,000 calls/month):

curl -X POST https://governance.taskhawktech.com/signup \
  -H "Content-Type: application/json" \
  -d '{"agent_id": "my-agent"}'
# Returns: {"api_key": "kvrs_...", "tier": "free", "monthly_limit": 1000}
from kevros import KevrosClient

client = KevrosClient(api_key="kvrs_...")  # from signup above
result = client.verify(action="deploy", context={"target": "production"})
print(result)  # {'decision': 'ALLOW', 'release_token': '...', 'epoch': 42}

Tools (9)

Tool Description Price
governance_verify Verify an action against policy $0.01
governance_attest Record hash-chained provenance $0.02
governance_bind Bind intent to command cryptographically $0.02
governance_verify_outcome Verify measured outcome against intent Free
governance_bundle Generate compliance evidence bundle $0.05
governance_health Health check Free
kevros_status API key status and usage Free
governance_check_peer Check peer agent reputation Free
governance_verify_token Verify a release token independently Free

Resources (2)

  • kevros://agent-card - A2A agent discovery card
  • kevros://trust-status - Identity and trust status

Prompts (2)

  • verify-before-act - Pre-flight governance check template
  • governance-audit - Compliance audit bundle generator

Payment

Three payment protocols supported on all paid endpoints:

  • L402 (Lightning) - 15 sats per governance call (~$0.01)
  • x402 (USDC on Base) - $0.01 per call, 13 chain options
  • MPP (Stripe/Tempo) - Card, bank, or stablecoin

Free tier: 1,000 calls/month. Sign up at POST /signup with your agent ID. No credit card required.

Security

  • Post-quantum signatures: ML-DSA-87 (FIPS 204) + SLH-DSA-SHA2-256f (FIPS 205)
  • Hash-chained provenance ledger (append-only, independently verifiable)
  • OFAC sanctions screening on every on-chain payment
  • Fail-closed enforcement (deny on verification failure)
  • Formally verified: 1.94 billion states, 12 safety invariants, zero violations (TLA+)

License

MIT

Recommended Servers

playwright-mcp

playwright-mcp

A Model Context Protocol server that enables LLMs to interact with web pages through structured accessibility snapshots without requiring vision models or screenshots.

Official
Featured
TypeScript
Magic Component Platform (MCP)

Magic Component Platform (MCP)

An AI-powered tool that generates modern UI components from natural language descriptions, integrating with popular IDEs to streamline UI development workflow.

Official
Featured
Local
TypeScript
Audiense Insights MCP Server

Audiense Insights MCP Server

Enables interaction with Audiense Insights accounts via the Model Context Protocol, facilitating the extraction and analysis of marketing insights and audience data including demographics, behavior, and influencer engagement.

Official
Featured
Local
TypeScript
VeyraX MCP

VeyraX MCP

Single MCP tool to connect all your favorite tools: Gmail, Calendar and 40 more.

Official
Featured
Local
graphlit-mcp-server

graphlit-mcp-server

The Model Context Protocol (MCP) Server enables integration between MCP clients and the Graphlit service. Ingest anything from Slack to Gmail to podcast feeds, in addition to web crawling, into a Graphlit project - and then retrieve relevant contents from the MCP client.

Official
Featured
TypeScript
Kagi MCP Server

Kagi MCP Server

An MCP server that integrates Kagi search capabilities with Claude AI, enabling Claude to perform real-time web searches when answering questions that require up-to-date information.

Official
Featured
Python
E2B

E2B

Using MCP to run code via e2b.

Official
Featured
Neon Database

Neon Database

MCP server for interacting with Neon Management API and databases

Official
Featured
Exa Search

Exa Search

A Model Context Protocol (MCP) server lets AI assistants like Claude use the Exa AI Search API for web searches. This setup allows AI models to get real-time web information in a safe and controlled way.

Official
Featured
Qdrant Server

Qdrant Server

This repository is an example of how to create a MCP server for Qdrant, a vector search engine.

Official
Featured