Prover Dashboard

Certora · B2B SaaS

One platform for researchers, clients, and internal teams.

B2B SaaSData DashboardCarbon DSCertora
1 / 6
Context

Serving Three Audiences

The dashboard was designed to meet the needs of three very different groups:

Researchers and Developers
Who need to track their jobs and debug failures quickly.
Client Organizations
Who need to monitor protocol health and team usage over time.
Certora Internal Staff
Who manage users and analyze customer engagement.
Design Decision

Adopting the Carbon Design System

We chose to implement IBM's Carbon Design System. This allowed me to spend more time solving complex information architecture problems rather than designing basic UI components from scratch.

This move also established a standard that would eventually unify all of Certora's web products under a single design language.

Carbon DS

The initial alpha version before we adopted Carbon DS.

Core Surface

Efficient Job Triage

The main goal for researchers is to quickly identify why specific jobs failed.

I designed the Job List as a high-level triage tool. It features status indicators, quick filters, and a side panel that gives users just enough context to decide if they need to dive into a full report.

Job list with side panel

The job list with a detailed side panel for quick breakdown.

Organizations

Organization views featuring activity status and spark lines, and churn detection.

Result

A Complete Management Solution

We delivered a full suite of management tools including job tracking, organization oversight, and authentication flows. The new status taxonomy directly addressed the primary questions our stakeholders had at the start of the project.

Rule ReportAutoCAD