Projects

Bring projects online from GitHub repositories, clear preflight, and open a usable theorem workbench for first users.

Current next step

Authenticate with GitHub

Projects onboarding starts with an authenticated session so the workbench can discover your GitHub repositories.

Registry

Imported projects are already live product surfaces. Open triage or admin directly from the registry.

Preflight boundary

Checker config and first run stay secondary until preflight passes, so failures turn into one clear remediation loop.

Rust API 401: authentication required