Ditto Ditto是一款基于Flask框架的Web应用程序生成工具，通过自然语言输入和大型语言模型（LLM）实现自动化代码生成，支持模块化结构和无代码操作，适合快速原型开发、教育学习及非技术人员使用。其核心功能包括自然语言解析、代码自动生成、模块化管理以及环境变量配置等。 AI项目与工具 2025年06月12日 99 点赞 0 评论 716 浏览
RepText RepText是一款由Shakker Labs与Liblib AI联合开发的多语言视觉文本渲染框架，采用字形模仿技术实现高质量文本生成。支持多种语言及复杂排版，具备精准控制、高效兼容和自然融合等特点，广泛应用于平面设计、艺术创作和数字内容生产等领域。 AI项目与工具 2025年06月11日 85 点赞 0 评论 716 浏览
AgileGen AgileGen是一个基于人机协作的生成式软件开发框架，通过Gherkin语言定义用户需求并生成代码，支持快速原型设计和迭代优化。其主要功能包括需求收集与澄清、场景设计、代码生成及反馈迭代，同时具备记忆池机制以提升决策效率。适用于初创公司、教育领域及企业内部工具开发等场景。 AI项目与工具 2025年06月12日 94 点赞 0 评论 716 浏览
creatify Creatify是一款由人工智能驱动的视频广告制作平台，支持根据产品信息自动生成高质量营销视频。其主要功能包括自动视频生成、AI脚本创作、多样化模板选择、动态特效设计及多语言支持。Creatify适用于电商、品牌推广、教育培训等多种场景，帮助用户高效制作专业视频广告，降低时间和成本投入。 AI项目与工具 2025年06月12日 64 点赞 0 评论 716 浏览
Logome Logome是一款基于AI技术的在线标志设计工具，能够根据用户输入的品牌信息快速生成多种标志方案，并支持风格、颜色和字体的自定义调整。同时提供品牌套件生成、智能设计建议以及高分辨率文件导出等功能，适用于初创企业、自由职业者和个人品牌建设，帮助用户高效打造专业且一致的品牌形象。 AI项目与工具 2025年06月12日 63 点赞 0 评论 716 浏览
TripoSR TripoSR是一款由Stability AI与VAST联合开发的开源3D生成模型，能够在不到0.5秒内从单张2D图像生成高质量的3D模型。基于Transformer架构和大型重建模型（LRM）设计，采用先进的图像编码、三平面NeRF表示及优化训练策略，支持无GPU设备运行。适用于游戏开发、影视制作、建筑设计、产品设计等多个领域，具有高效、高精度和广泛适用性的特点。 AI项目与工具 2025年06月12日 80 点赞 0 评论 716 浏览
Krut AI Krut AI是一款专注于电商领域的AI图像生成工具，提供产品图像生成、模特照片创作、背景移除、图像放大、虚拟试穿等多项功能。用户可通过文本或图片输入快速生成高质量视觉内容，无需复杂操作。平台适用于电商产品展示、广告设计、社交媒体内容制作等多个场景，支持多语言内容生成，助力企业提升视觉表现力和运营效率。 AI项目与工具 2025年06月12日 23 点赞 0 评论 716 浏览
PopShort.AI PopShort.AI 是一款利用人工智能技术打造的短剧创作平台，专注于提供沉浸式互动体验和创新剧情。平台每周更新短剧内容，用户可与虚拟角色对话，体验独家剧情，并通过访问庞大的AI故事库参与创作。PopShort.AI 支持多种视频风格，包括短剧、互动故事、定制视频等，满足多样化的创作需求。 AI项目与工具 2025年06月12日 49 点赞 0 评论 716 浏览
Kimina Kimina-Prover是由月之暗面与Numina团队联合开发的大型数学定理证明模型，采用强化学习技术，在Lean 4语言中实现类人逻辑推理与严谨证明。其“形式化推理模式”结合非形式化推理与代码片段，提升解题效率。在miniF2F基准测试中达到80.7%准确率，显著优于现有模型。具备高样本效率与良好可扩展性，适用于科研、软件测试、算法验证等多个领域。1.5B和7B参数版本已开源。 AI项目与工具 2025年06月11日 33 点赞 0 评论 716 浏览
VideoChat VideoChat是一款开源的实时数字人对话系统，支持语音输入与实时对话功能。用户可自定义数字人形象与音色，实现音色克隆。系统集成多种技术，包括语音识别、大语言模型生成及文本转语音，支持流式视频输出，适用于客户服务、在线教育、新闻播报、直播互动及娱乐等多个领域。 AI项目与工具 2025年06月12日 35 点赞 0 评论 716 浏览
