Documentation: proof types, CLI commands, and best practices | LittleShips