AI项目与工具

BlenderMCP

BlenderMCP 是一款将 Blender 与 Claude AI 集成的工具，通过 socket 服务器实现双向通信，支持 3D 对象操作、材质控制、场景信息获取及 Python 代码执行。用户可通过自然语言指令高效完成建模任务，提升创作效率。工具由插件和服务器组成，采用 JSON 协议进行数据交互，适用于快速建模、场景优化及教育辅助等场景。

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

Firesearch 是 Mendable AI 团队推出的 AI 驱动的深度研究工具，基于 Firecrawl 多源网络内容提取技术和 OpenAI GPT-4o 的搜索规划与内容生成能力，能够将复杂查询分解为子问题进行搜索和内容提取。它支持答案验证、自动重试、实时进度更新、完整引用和上下文记忆等功能，帮助用户高效获取准确、全面的研究结果。工具基于 Next.js 15 构建，提供现代化的开发体

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

Pablo

Pablo是一款AI驱动的网页设计工具，支持用户通过上传Logo快速生成品牌化网站，并提供无代码编辑功能。它能够自动匹配配色方案，支持在线定制与发布，同时具备图片制作能力，可生成符合社交媒体规范的图像内容。适用于品牌建设、个人展示及小型企业网站搭建等多种场景。

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

Kimina

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

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

DeepSider

DeepSider 是一款集成在浏览器侧边栏的 AI 对话工具，支持多种顶级 AI 模型如 GPT-4o、Grok3 和 Claude 3.5。用户可通过简洁交互完成复杂任务，包括 AI 搜索、实时问答、内容创作、翻译和代码生成等。该工具支持文档上传分析，结合最新数据提供准确答案，具备快速响应和高效交互设计，适用于提升工作效率和学习效率。

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