AI工具
BlenderMCP
BlenderMCP是将Blender与Claude AI基于模型上下文协议(MCP)集成的工具。BlenderMCP用socket服务器实现Blender与AI的双向通信,支持创建、修改和删除3D对象...
OpenAI o4-mini
OpenAI o4-mini 是OpenAI推出的小型推理模型,专为快速、经济高效的推理而优化。OpenAI o4-mini 在数学、编程和视觉任务方面表现出色,是 AIME 2024 和 2025 ...
Kimina-Prover
Kimina-Prover是月之暗面与Numina团队合作推出的大型数学定理证明模型,模型采用大规模强化学习训练,能以类似人类的方式进行推理,在Lean 4语言中严谨地证明...
WaveSpeedAI
WaveSpeedAI 是 AI 图像和视频生成平台,提供多种高性能的 AI 模型,核心模型包括 HiDream-I1(170 亿参数的开源图像生成模型)、Flux-dev(120 亿参数的快速...
Grok Studio
Grok Studio 是马斯克旗下AI智能助手Grok推出的 AI 协作功能,帮助用户提升内容创作与开发效率。Grok Studio支持代码生成与实时运行(涵盖 Python、C++、Java...
GLM-Z1-32B
GLM-Z1-32B是智谱公司开源的新一代推理模型,具体参数版本为GLM-Z1-32B-0414 。GLM-Z1-32B基于 GLM-4-32B-0414 基座模型开发,基于深度优化训练,在数学、代...