AI工具

Spring.new – AI开发工具，零代码自然语言构建应用

CircleBack – AI会议记录工具，自动记录、转录与总结

Autoblocks AI – AI开发和测试平台，支持模拟大量真实场景快速测试

DeepSeek-Prover-V2 – DeepSeek推出的开源数学推理大模型

Cheehoo – AI动画制作平台，一键生成动画原型

Agentar – 蚂蚁数科推出的金融智能体开发平台

URM – 阿里妈妈推出的世界知识大模型

ACI.dev – 为AI智能体设计的开源MCP基础设施平台