KernelCode Request Access
<p>03</p>Kernel Scan

Find the riskbefore it ships.

Automated static analysis, dependency vulnerability checks, dangerous permission detection and security findings for supported repositories and contracts.

<p>01</p> Checks

What Kernel Scan looks for.

Fast, automated, cheap enough to run on every commit — and clear about being a scan, not a proof.

<p>01</p>

Static analysis

Automated checks for known vulnerability patterns in supported code.

<p>02</p>

Dependencies

Known-vulnerable packages and versions across the dependency tree.

<p>03</p>

Dangerous permissions

Privileged functions, missing access checks and risky withdrawal or upgrade paths.

<p>04</p>

Findings

Every issue comes with a severity, a location and the evidence behind it.

<p>02</p> Inputs

Three ways in.

Point Kernel at a public GitHub repository or a deployed EVM contract. Each check is one paid tool call.

ToolInputAccess
scan_repositoryPublic GitHub repository URL
x402$0.05
scan_contractDeployed EVM contract address
x402$0.10
analyze_dependenciesPublic GitHub repository URL
x402$0.01
<p>03</p> Output

Findings an agent can act on.

Paid tools return structured JSON, not a paragraph. Agents can block an unsafe deployment, propose a fix, or request a deeper check.

scan_contract · responseillustrative
{
  "tool": "scan_contract",
  "status": "review_required",
  "summary": { "high": 1, "medium": 0, "low": 2 },
  "findings": [{
    "severity": "high",
    "title": "Privileged withdrawal lacks access check",
    "location": "Vault.sol:142",
    "recommendation": "Restrict withdraw() to the owner role"
  }]
}

Every report is stored, gets a report page, and can be retrieved later for free with get_verification.

Response schema is in draft and may change before launch.

NoteSolidity analysis runs on a dedicated scanner. A passing scan is never presented as a proof — for machine-checked guarantees, see Kernel Prove.