Settings
Profile and preferences for your ProofCode workspace.
Profile
AR
Ahmad Raza
ahmad@proofcode.dev
This is a demo workspace. Authentication and profile persistence are out of scope for the hackathon MVP.
Preferences
Appearance
Light is the default; dark follows your saved choice.
About this build
ProofCode verifies real codebases end to end: upload or clone, static analysis, deterministic and AI-assisted fixes, re-scan, and test execution. The demo workflow runs on realistic sample data so you can explore every screen instantly.