Backend not connected
This preview site is frontend-only. Verification runs and sign-in require the Cyrus API (deploy separately). Browse the dashboard UI or return home.
Dashboard
Your verification command center
Manage your projects, watch live output, and review verification runs.
Verification log
terminal — idle
Connecting…
Cyrus verification terminal
Live job output streams here · type commands below
help list commands
cyrus list your upload & GitHub projects
jobs list recent verification runs
select <n> focus a run by number or name
Dashboard
No verification yet
Run your first proof to populate this view
Free trial runs
…
Hosted AI
Verifications
…
0 completed
Kontrol prover
Limited
Tests only
Findings
…
Across selected run
Your projects
Saved Foundry projects with per-project Kontrol and AI settings
Loading projects…
Verification runs
Every verification you've run — click a row to load it in the command center
Loading history…