Projects.

A security-first developer environment that brings code scanning into the editing loop.

Static analysis tooling for finding security issues in Vyper smart contracts.

A browser-based coding evaluation platform with isolated execution and assessment workflows.