Quick Start
Learn what Divekit is and how it can help you manage programming assignments.
Divekit Documentation
Welcome to the Divekit documentation. Choose a section to get started.
Divekit CLI Commands
Complete, auto-generated documentation for all Divekit CLI commands.
Reference
Reference material for Divekit concepts, file formats, configuration keys, and locations.
Development
Documentation for Divekit developers and contributors.
Archive
Legacy documentation for deprecated tools.
Last modified March 7, 2026: ci: use pinned upstream pages toolchain image (263a4cd)