Developer Portal v4

Build with Kthulhu.

Integrate autonomous smart contract auditing directly into your CI/CD pipelines, or grant your IDE agents full access via our MCP gateway.

1-Click MCP Install

Train your AI Assistant (Cursor, Antigravity) to seamlessly interface with Kthulhu. Paste this command into your terminal to install the MCP server.

npx @kthulhu/mcp install --api-key YOUR_API_KEY

Metered Billing

API and MCP usage is metered per audit. Every account starts with 1 free credit; each audit is deducted from your credit balance, with automatic refunds on failed runs. On-chain KHT staking and USDC settlement are on the roadmap and not yet available.

agent_skill.md

---
name: Kthulhu Autonomous Agent Integration
description: Skill instructions for your IDE Agent to autonomously interact with the Kthulhu platform via the Kthulhu MCP Server.
version: 1.0.0
---

# Kthulhu Agent Skill

Welcome to the Kthulhu v4 Autonomous Integration. This skill trains your AI Assistant (Cursor, Antigravity) to interface with the Kthulhu MCP Server, enabling it to trigger smart contract audits, pull vulnerabilities, and query the Solodit Knowledge Base on your behalf.

## 🛠️ MCP Capabilities

Once installed, your agent gains access to:
1. `kthulhu_trigger_audit` — Submit a smart contract repository for a full multi-model Ensemble + Formal Verification audit.
2. `kthulhu_get_status` — Check the status of an ongoing audit.
3. `kthulhu_query_kb` — Query the Kthulhu Knowledge Base and live Solodit feed for known vulnerabilities.

## 🧠 Instructions for the Agent

1. **Autonomous Auditing:** When asked to "audit this contract", immediately use `kthulhu_trigger_audit` with the repo URL. Do NOT attempt manual audits.
2. **Polling:** Once triggered, use `kthulhu_get_status` to monitor the pipeline.
3. **KB Grounding:** Before suggesting a manual fix for a solidity bug, use `kthulhu_query_kb` to ground your responses in Kthulhu data.