工具

1. 首页
2. 工具

codeAI

一款革命性的VS Code插件，为开发人员提供了基于人工智能的代码生成、单元测试创建和文档生成能力。

Ai编程建站 2025年06月05日 13 点赞 0 评论 983 浏览

MCPHub

MCPHub 是一个集成了多种 MCP 服务器的聚合平台，支持将多个服务器整合至流式 HTTP（SSE）端点，提供集中式管理界面和协议兼容性。具备热插拔配置、访问控制、安全认证等功能，支持 Docker 部署，适用于 AI 工具集成、多模型协同及私有化部署等场景，提升 AI 开发与管理效率。

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

DeepGEMM

DeepGEMM是DeepSeek开发的高效FP8矩阵乘法库，专为NVIDIA Hopper架构优化，支持普通与分组GEMM操作。采用即时编译技术，实现运行时动态优化，提升计算性能与精度。通过细粒度缩放和双级累加技术解决FP8精度问题，结合TMA特性提升数据传输效率。代码简洁，仅约300行，适用于大规模AI推理、MoE模型优化及高性能计算场景。

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

IMI Prompt

IMI Prompt是一个全面的Midjourney v5艺术品提示生成器，用户可以创建独特的Midjourney v5艺术品，可在Web、Android和iOS上使用。

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

KYP.ai

KYP.ai的功能只要是通过工具识别可以通过自动化工具解决的障碍和低效，并向客户管理员提供建议。

AI服务商 2025年06月05日 49 点赞 0 评论 982 浏览

Goedel

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

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

Poetry2Image

Poetry2Image是一个由哈尔滨工业大学提出的迭代校正框架，专门用于中文古诗词的图像生成。该工具通过自动化反馈和校正机制，提升了诗歌与图像的一致性，解决了文本到图像生成模型在处理中文古典诗歌时常见的关键元素丢失或语义混淆问题。Poetry2Image具备搜索翻译、生成初始图像、提取关键元素、图像修正及迭代优化等功能，与多种图像生成模型结合使用时，其元素完整性和语义一致性表现优异，适用于古诗词

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

象寄AI

专注商业视觉内容的智能生成，一键生成高质量商品图， 为商家提供全新的图像生产方式

Ai绘画生成 2026年08月10日 0 点赞 0 评论 981 浏览

UI

UI-TARS是由字节跳动开发的图形用户界面代理模型，支持通过自然语言实现桌面、移动端和网页的自动化交互。具备多模态感知、跨平台操作、视觉识别、任务规划与记忆管理等功能，适用于自动化任务执行和复杂交互场景。支持云端与本地部署，提供丰富的开发接口，便于集成与扩展。

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

PhotoKit

PhotoKit 集成了强大的在线照片编辑器

创作工具 2026年08月10日 0 点赞 0 评论 981 浏览