🖥️
Best Viewed on Desktop
The technical documentation and app previews are optimized for desktop viewing.
← Back to Home📐
Unified Schema
Normalized data model enabling LLM agents to reason across tool boundaries. Finding, Location, Evidence, Severity, and World.
Finding
A potential vulnerability detected by any tool
id, tool, type, severity, confidence, location, description, evidence, cwe_id
Location
Where the finding occurs
file, contract, function, line_start, line_end
Evidence
Supporting data for a finding
type (CODE_SNIPPET | TRACE | CONSTRAINT), content
Severity
CRITICAL = 4 Immediate fund loss
HIGH = 3 Significant impact
MEDIUM = 2 Moderate impact
LOW = 1 Minor issues
INFO = 0 Informational
World
Global context shared across agents
target, contracts, findings, dependencies,
entry_points, state_variables, external_calls
+ findings_for(contract)
+ findings_by_type(vtype)
entry_points, state_variables, external_calls
+ findings_for(contract)
+ findings_by_type(vtype)