AI项目与工具

TaskWeaver

TaskWeaver

TaskWeaver是一款由微软推出的代码优先AI智能体框架，专为数据分析任务设计。它能够将自然语言请求转化为可执行代码片段，并通过插件系统实现复杂任务处理，支持多种数据结构和状态化执行，具备代码安全验证和会话隔离功能，适用于自动化报告生成、数据清洗、自定义算法实现及学术研究等领域。
AI项目与工具 2025年06月12日
Bith AI

Bith AI

Bith AI 是一款AI驱动的视频创作与编辑工具，支持文本转视频、自动字幕生成、多平台尺寸适配、多媒体融合及一键发布等功能。适用于社交媒体、企业营销、教育培训和个人创作等多种场景，提升视频制作效率与专业度。
AI项目与工具 2025年06月12日
Kimina

Kimina

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

Imagine Explainers

Imagine Explainers 是一款基于 AI 的视频生成工具，支持用户根据主题和时长快速生成高质量动画视频。提供多种模板、角色和风格选择，支持 AI 语音或自定义音频。适用于教育、商业、营销等多个领域，能够将复杂内容转化为直观的视觉表达，提升信息传达效率。
AI项目与工具 2025年06月11日
Trickle

Trickle

Trickle 是一款零代码网页应用开发工具，通过自然语言输入即可快速构建功能完善的网页应用。它支持自动生成前端、后端及数据库，具备一键发布和托管功能。内置图像优化、数据分析和文案生成等 AI 能力，并提供丰富模板库。适用于小商家、创业者、设计师及企业等多种场景，提升开发效率与用户体验。
AI项目与工具 2025年06月12日
dorik

dorik

Dorik是一款基于AI技术的无代码网站构建平台，支持用户通过简单的提示快速创建美观且功能齐全的网站，无需编码或设计经验。平台提供白标CMS、博客平台、会员站点、SEO工具、Airtable集成等功能，并配备了丰富的模板和预设计UI组件。AI工具可自动生成文本和图像内容，加速网站构建过程。
AI项目与工具 2025年06月12日
星伴kChat

星伴kChat

星伴kChat是一款由KMind开发的AI聊天机器人，基于kOS操作系统运行。它具备工作模式和闲聊模式，分别用于高效完成工作任务和提供轻松的社交互动。星伴kChat能够自动化执行任务，并提供个性化服务，适用于专业人士、学生、企业用户以及技术爱好者等不同群体。
AI项目与工具 2025年06月12日
Llama Tutor

Llama Tutor

Llama Tutor 是一款基于 AI 的开源个性化学习平台，利用 Llama 3.1 和 Together AI 技术生成定制化学习计划，涵盖多学科领域，提供互动式学习体验和精准解答。支持个人学习、学术教育、职业发展和语言学习等应用场景，致力于打造高效、有趣的沉浸式学习环境。
AI项目与工具 2025年06月12日
VideoChat

VideoChat

VideoChat是一款开源的实时数字人对话系统，支持语音输入与实时对话功能。用户可自定义数字人形象与音色，实现音色克隆。系统集成多种技术，包括语音识别、大语言模型生成及文本转语音，支持流式视频输出，适用于客户服务、在线教育、新闻播报、直播互动及娱乐等多个领域。
AI项目与工具 2025年06月12日
Wispr Flow

Wispr Flow

Wispr Flow 是一款基于AI技术的语音转文字工具，支持100多种语言，具备自动编辑、上下文感知和低音量识别等功能，提升写作与沟通效率。提供免费基础版及付费专业版和团队版，适用于写作、商务、学习等多种场景，注重用户隐私保护，操作便捷自然。
AI项目与工具 2025年06月12日