工具
  1. 首页
  2. 工具

列表

Goedel

Goedel

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

Quadratic

Quadratic是一款基于AI技术的电子表格工具，支持自然语言交互、智能图表生成、数据库查询优化及代码执行。它提供高效的数据处理能力，适用于数据分析、可视化及团队协作等场景，拥有免费版、专业版和企业定制版，满足不同用户需求。
AI项目与工具 2025年06月12日
OCode

OCode

OCode 是终端原生 AI 编程助手，为开发者提供深度代码库智能和自动任务执行功能。它与本地 Ollama 模型无缝集成，支持多文件重构、项目理解、开发自动化、数据处理、系统操作、交互式操作、文件操作、文本处理和开发工具等功能。OCode 通过终端原生工作流、深度代码库智能、自动任务执行、直接 Ollama 集成和可扩展插件层提升编程效率和质量，适用于前端开发、设计与开发协作、无代码开发、数据管
AI项目与工具 2025年06月11日

Atomic Agents

Atomic Agents
Atomic Agents
一个适用于构建模块化、可扩展的AI代理开源框架，它将复杂的AI系统分解为最小的、不可分割的组件，并通过这些组件的灵活组合来构建强大的 AI 应用。
Ai开源项目 2025年06月05日
Kive

Kive

Kive是一个基于AI技术的创意内容生成平台，帮助品牌和创作者快速生成、管理和扩展符合品牌形象的视觉内容。用户通过文字描述即可生成高质量的图片和视频，支持将真实产品图片融入AI生成场景中，提升视觉吸引力。平台提供创意资产管理功能，自动分类和索引视觉资产，提升工作效率。Kive适用于社交媒体内容创作、广告制作、品牌推广、创意设计和产品展示等多种场景。
AI项目与工具 2025年06月11日
CircleBack

CircleBack

CircleBack 是一款基于 AI 的会议记录工具，支持多语言转录与智能总结，能自动生成结构化笔记和行动项。其具备强大的口音识别能力，可与 Zoom、Google Meet、Microsoft Teams 等平台集成，适用于企业会议、远程协作、教育、客户服务及医疗等多个场景。此外，它还支持语义搜索和工作流自动化，提升会议管理效率。
AI项目与工具 2025年06月11日
Whisper Input

Whisper Input

Whisper Input 是一款开源语音输入工具，基于 Python 和 OpenAI Whisper 模型开发，支持多语言语音识别与实时转录。用户可通过快捷键操作录音并生成文本，具备翻译、自动标点、高效处理及本地运行等功能。适用于会议记录、教育、智能交互及媒体制作等多种场景。
AI项目与工具 2025年06月12日
Limecube 

Limecube 

Limecube是一款利用人工智能技术打造的网站构建平台，可帮助用户快速创建专业级网站。它具备智能化的网站设计与内容生成能力，支持高度自定义，并配备SEO优化及营销工具，适用于多种应用场景，包括小型企业、创业者、电商店铺和个人品牌建设等。平台还提供了稳定的运行环境和可靠的安全保障，助力用户轻松管理网站。
AI项目与工具 2025年06月12日
Kimina

Kimina

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

CodeCV

CodeCV是一款面向互联网从业者的在线简历制作工具，支持Markdown和所见即所得编辑模式。它提供多种免费模板，并具备AI辅助功能，如简历润色和中英互译。用户可自由选择模板并专注内容创作，系统自动完成排版和分页，支持多格式导出，广泛应用于个人求职、职业发展、学生实习、自由职业和跨区域求职等场景。
AI项目与工具 2025年06月12日