Searching protocol for "type-theory"
Understand code structure at a glance.
Automate security scanning without touching code.