GGUF section, NVIDIA license badges, mobile layout fix

Face-lift: unified clean design, refreshed repository listings

Sync with GitHub, license metadata from LICENSE files, commercial license notice

Initialize formal-verification category space

initial commit