Summary

• add static catalog entries for glm-5.2 and kimi-k2-7
• add dotted/cloud-format aliases for glm-5-2, glm-5-1, kimi-k2.6, and kimi-k2.7
• regenerate GitHub Pages model catalog and update README model lists

Notes

• This does not change the existing Devin special-agent route for [Feature] Devin 云模式下的模型能反代吗？ #197. I verified [Feature] Devin 云模式下的模型能反代吗？ #197 is still an open feature request asking whether Devin cloud-mode models can be reverse-proxied; the repo already routes SWE/adaptive/arena through the optional WINDSURFAPI_SPECIAL_AGENT_BACKEND=devin-cli path rather than pretending those are normal Cascade catalog models.
• These Kimi/GLM additions follow the existing cloud-only UID pattern used by kimi-k2-6 and glm-5.1.

Test plan

• node scripts/gen-docs-models.js
• node --test --test-force-exit test/models.test.js test/models-catalog-correctness.test.js test/gen-docs-models.test.js
• npm test