What SDKs does the Aqara Developer Platform currently support?

Is there a detailed introduction I can refer to?

Currently, the Aqara Developer Platform supports SDKs that are primarily divided into three main categories: Device Control SDK, Device Onboarding SDK, and Vertical Category SDKs. Additionally, there is a standalone SDK available for infrared functionality. For the detailed list, please refer to the device list in the developer documentation.

https://opendoc.aqara.cn/docs/SDK%E5%BC%80%E5%8F%91/Android%E5%BC%80%E5%8F%91%E6%8C%87%E5%8D%97/%E8%AE%BE%E5%A4%87%E6%8E%A7%E5%88%B6/%E8%AE%BE%E5%A4%87%E6%8E%A7%E5%88%B6SDK%E6%94%AF%E6%8C%81%E8%AE%BE%E5%A4%87%E6%B8%85%E5%8D%95.html