Verificationagents can buy.
An MCP server and x402-enabled API through which AI agents discover verification tools, purchase individual checks, retrieve findings and consume results programmatically.
Discover. Pay. Verify. Act.
The x402 specification includes an MCP payment flow, so agents can pay directly when they call an individual tool — no subscription required.
- <p>01</p>Discover
The agent connects to the Kernel MCP server and lists the verification tools.
- <p>02</p>Pay
Paid tools answer with an x402 payment request. The agent pays per call in USDC.
- <p>03</p>Verify
Kernel runs the check in an isolated worker and returns structured JSON.
- <p>04</p>Act
The agent blocks the deploy, proposes a fix, or requests a deeper check.
An agent verifying code before deployment.
The agent asks, Kernel checks, the agent fixes — and the updated report and commit hash are recorded.
“Verify my contract before deploying to Robinhood Chain.”
Paid via x402
1 high-severity finding
{
"tool": "scan_contract",
"status": "review_required",
"findings": [{
"severity": "high",
"issue": "privileged withdraw lacks access check"
}]
}Proposes a fix and reruns verification.
Records the updated report and commit hash.
{
"mcpServers": {
"kernel": {
"url": "https://mcp.kernelcode.io"
}
}
}Illustrative — the endpoint opens with early access.