AI项目与工具

LearnCoach

LearnCoach 是一款面向 K12 学生的 AI 学习平台，提供个性化课程、智能辅导和多种学习模式，如辅导课程与视频播放列表。平台包含丰富的视频教程和考试题库，帮助学生掌握重点知识，提升学习效率。支持语音输入与全天候访问，适用于日常学习、考前复习及课堂教学辅助，助力学生高效学习与成绩提升。

AI项目与工具 2025年06月12日 53 点赞 0 评论 531 浏览

码上飞

码上飞是一款基于自然语言的AI应用开发平台，支持从需求描述到应用部署的全流程自动化。用户无需编程基础，即可通过文字指令生成信息管理、聊天机器人、小游戏等多种类型的应用。平台内置智能代理工具，可生成文档与测试用例，同时提供定制化服务与数据安全支持，提升开发效率与用户体验。

AI项目与工具 2025年06月12日 59 点赞 0 评论 531 浏览

Learn Prompting

Learn Prompting 是一个开源平台，致力于教授 AI 提示工程相关知识，涵盖从基础到高级的内容。其主要功能包括智能推荐、深度解析、模拟对话、学习进度跟踪等，同时提供体系化课程及实际应用场景案例。该工具适用于教育、语言学习、内容创作、数据分析等多个领域，助力用户提升 AI 技术的应用能力。

AI项目与工具 2025年06月12日 16 点赞 0 评论 531 浏览

Goedel

Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。

AI项目与工具 2025年06月12日 50 点赞 0 评论 531 浏览

Firebase Studio

Firebase Studio 是由谷歌推出的全栈开发工具，集成了 AI 编程辅助、自然语言原型设计、高度可定制的开发环境，并与 Firebase 和 Google Cloud 深度集成。支持从代码仓库导入项目、使用模板快速启动应用、AI 生成代码与文档、预览与调试等功能，适用于快速原型设计、全栈开发、团队协作及教育场景。开发者可根据需求选择不同工作区数量的定价方案。

AI项目与工具 2025年04月17日 68 点赞 0 评论 532 浏览

OmniSVG

OmniSVG是复旦大学与StepFun联合开发的全球首个端到端多模态SVG生成模型，基于预训练视觉语言模型，通过创新的SVG标记化技术实现结构与细节的解耦，支持从文本、图像或角色参考生成高质量矢量图形。其训练效率高，支持长序列处理，适用于图标设计、网页开发、游戏角色生成等场景，生成结果具备高度可编辑性和跨平台兼容性。

AI项目与工具 2025年06月12日 90 点赞 0 评论 532 浏览

HUGWBC

HUGWBC是由上海交通大学与上海AI Lab联合开发的人形机器人全身控制器，支持多种自然步态和精细参数调整，具备高鲁棒性和实时外部干预能力。基于强化学习和不对称训练框架，实现从模拟到现实的高效迁移，适用于复杂地形导航、动态任务执行及人机协作等多种场景。

AI项目与工具 2025年06月12日 34 点赞 0 评论 532 浏览

Smartcat

Smartcat 是一款先进的AI翻译平台，提供自动化的翻译服务和本地化解决方案。它集成了AI翻译、计算机辅助翻译（CAT）工具及翻译管理系统（TMS），支持超过280种语言和50多种文件格式。Smartcat通过内置市场连接全球翻译专家和客户，提供高效、准确的翻译服务。此外，该平台还配备了项目管理和自动化工作流工具，帮助企业简化翻译流程，加快内容的全球化进程。

AI项目与工具 2025年06月12日 60 点赞 0 评论 532 浏览