工具

1. 首页
2. 工具

陌言AI

陌言AI是一款免费的智能AI问答系统，可以快速、准确地解答您的问题，辅助您更高效的学习和工作，陌言Ai–让创作变得更加简单。

AI写作对话 2025年06月05日 39 点赞 0 评论 497 浏览

Bild AI

Bild AI 是一款面向建筑行业的智能工具，利用人工智能技术解析建筑图纸，自动生成材料清单与成本估算，并检测图纸是否符合建筑规范。它具备蓝图一致性验证、材料统计、合规性审查及智能修正建议等功能，适用于建筑设计、招投标、施工准备及许可证申请等多个环节，提升项目前期工作的效率与准确性。

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

Kimina

Kimina-Prover是由月之暗面与Numina团队联合开发的大型数学定理证明模型，采用强化学习技术，在Lean 4语言中实现类人逻辑推理与严谨证明。其“形式化推理模式”结合非形式化推理与代码片段，提升解题效率。在miniF2F基准测试中达到80.7%准确率，显著优于现有模型。具备高样本效率与良好可扩展性，适用于科研、软件测试、算法验证等多个领域。1.5B和7B参数版本已开源。

AI项目与工具 2025年06月11日 33 点赞 0 评论 497 浏览

YT Navigator

YT Navigator 是一款基于 AI 的 YouTube 内容检索工具，支持自然语言查询、语义搜索和视频内容交互。用户可快速定位视频片段并获取时间戳，提升信息获取效率。适用于研究、学习、创作和分析等场景，具备频道管理、安全会话等功能。采用向量嵌入与 BM25 算法结合的搜索机制，提高搜索准确率，项目已开源。

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

星火语音同传大模型

星火语音同传大模型是科大讯飞推出的国内首个端到端语音同传AI系统，支持37种语言，具备高精度翻译、流式处理、语境理解和语音合成优化等功能。模型可在5秒内完成同传，准确度高，适用于国际会议、商务交流、教育等场景，支持译文长度调节和设备兼容，提升跨语言沟通效率。

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

Supademo

Supademo是一款基于AI技术的交互式产品演示平台，支持屏幕录制、AI语音旁白、多语言翻译及个性化编辑。用户可创建高质量、高转化率的演示内容，并通过多渠道分享。平台提供丰富的分析功能，适用于销售、营销、客户支持和产品培训等多个场景。其灵活的定价策略满足不同规模企业的需求。

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

SCENEXTRAS

SCENEXTRAS是一款基于人工智能技术的Chrome扩展程序，允许用户与电影和电视剧中的角色进行实时互动，包括文字和语音交流。它支持多语言环境，并能根据用户喜好推荐相关影视作品。此外，SCENEXTRAS还具备教育辅助功能，可帮助用户在娱乐过程中学习新语言或深化对故事情节的理解。

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

司马阅AI

司马阅(SmartRead)，是一款ai文档阅读分析工具，AI阅读神器，基于AI人工智能技术、智能文档技术，从复杂的文档中快速提取有效信息，且智能分析判断文档内容价值。

Ai办公效率 1970年01月01日 0 点赞 0 评论 498 浏览

今天学点啥

“今天学点啥”是一款由秘塔AI开发的AI学习工具，支持用户通过关键词、文档或网页链接生成个性化互动课程，包含PPT和语音讲解。提供多种讲解风格与知识水平适配，具备实时互动、答题挑战和智能推荐功能，适用于学术、职业、兴趣及教育等多种学习场景，提升学习效率与趣味性。

AI项目与工具 2025年06月11日 33 点赞 0 评论 498 浏览

PromptFolder

专为大型语言模型 (LLM)和大型模型 (LM) 以及LMOps设计的提示词优化助手，不管是文字、还是图片的提示词，都可以一键优化。

Ai提示指令 2025年06月05日 14 点赞 0 评论 498 浏览