KernelCode Request Access
<p>07</p>MCP Tools

Six tools.One call each.

Every paid tool returns structured JSON, so agents can act on findings, block unsafe deployments or request additional checks.

See pricingRequest Access
<p>01</p> Reference

The launch toolset.

Five paid tools and one free one. Results from any paid tool can be fetched again at no cost.

ToolPurposeReturnsAccess
scan_repositoryScan public GitHub code for risksFindings JSON + report page
x402$0.05
scan_contractAnalyze a deployed EVM contractFindings JSON + report page
x402$0.10
analyze_dependenciesDetect vulnerable dependenciesVulnerable packages JSON
x402$0.01
prove_propertySubmit supported code to AristotleJob, quote, then proof result
x402Quoted
get_verificationRetrieve report and proof statusReport and job status
Free
attest_verificationAnchor results on Robinhood ChainAttestation record
x402Network + fee
<p>02</p> Pricing

Pay per use. No subscription.

These are launch pricing hypotheses, not final prices. Formal verification needs cost controls and explicit job approval, since runs can take minutes to days.

<p>01</p>

Dependency check

$0.01per check

<p>02</p>

Repository scan

$0.05per scan

<p>03</p>

Contract security scan

$0.10per scan

<p>04</p>

Formal verification

Quotedper job, approved first

<p>05</p>

Onchain attestation

Networkcost + small fee

<p>03</p> Payments

How agents pay.

Rail
x402, including its MCP payment flow
Currency
USDC on a supported x402 network
Robinhood Chain
Settlement compatibility is being verified separately
Free
get_verification