← Work

Certora

Unified Tooling Ecosystem

A seamless journey from triggering a run to managing results.

B2B SaaSDeveloper ToolProduct ArcCertora
View on GitHub

During my time at Certora, I led the design for the entire user journey. This included the VS Code plugin for triggering prover runs, a web report for analyzing results, and a comprehensive dashboard for large-scale management.

2a

VSCode Plugin

I transformed a complex 20-flag CLI command into a simple, intuitive form.

→
2b

Rule Report

I turned hundreds of verification signals into a navigable, clear report.

→
2c

Prover Dashboard

One dashboard designed to serve three distinct user types without friction.

→
← GambitAutoCAD →