Fast orientation
Inspect state, functions, calls, interfaces, complexity, and project relationships.
Solutions / Auditors
Start Vyper review with structured evidence.
Map contract surfaces, inspect detector reasoning, and export findings without treating automation as an audit conclusion.
Explicit semantics
Know whether findings used matching compiler semantics or source fallback.
Traceable findings
Retain exact source location, detector, confidence, and analysis health.
Portable records
Move the same finding model through JSON, SARIF, Markdown, and HTML.
Label quality
Measure reviewed audit labels and detector support separately.
Honest scope
Keep unsupported vulnerability classes and inference limitations visible.