AI项目与工具

清言浏览器插件

清言浏览器插件

清言浏览器插件是一款集成智能Agent技术的浏览器扩展工具，提供通用对话、页面总结、智能写作等功能，同时具备AutoGLM、站内高级检索、多链接总结等高级特性。它适用于学术研究、工作办公、日常浏览等多个场景，帮助用户高效获取信息、优化工作流程。
AI项目与工具 2025年06月12日
BFS

BFS

BFS-Prover 是一种基于大语言模型的自动定理证明系统，通过改进广度优先搜索算法和长度归一化评分机制，提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构，支持复杂定理的高效验证，并与 Lean4 深度集成，确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域，推动了自动定理证明技术的发展。
AI项目与工具 2025年06月12日
ShipAny

ShipAny

ShipAny 是一款基于 NextJS 的 AI SaaS 开发工具，提供丰富模板、基础设施集成和一键部署功能，助力开发者快速构建 AI 相关产品。支持身份验证、支付处理、AI 图像生成、SDK 集成及 SEO 优化，适用于全球市场。涵盖写作助手、智能问答、图像生成等多种应用场景，适合初创企业与开发者使用。
AI项目与工具 2025年06月12日
CriticGPT

CriticGPT

CriticGPT是一种基于GPT-4架构的人工智能模型，专注于审查和识别由大型语言模型生成的代码中的错误。它利用人类反馈强化学习（RLHF）技术，显著提高了代码审查的准确性和效率。CriticGPT具备代码审核、错误识别、安全漏洞分析、反馈生成、性能评估和辅助学习等功能。它通过记录人类评估员故意插入的错误，生成训练数据，并使用近端策略优化（PPO）算法和强制采样波束搜索（FSBS）技术，生成详细
AI项目与工具 2025年06月12日
GroundingBooth

GroundingBooth

GroundingBooth 是一种创新的文本到图像定制框架，通过结合文本-图像对齐模块和遮罩交叉注意力层，实现了前景主体与背景对象的空间精准对齐。其核心功能包括单主题与多主题定制、身份保留、文本-图像一致性保障及复杂场景下的高精度生成。该工具广泛应用于个性化商品定制、艺术创作、游戏设计、广告营销等多个领域，为视觉内容创作提供了强大的技术支持。
AI项目与工具 2025年06月12日
ClipZap AI

ClipZap AI

ClipZap AI 是一款基于人工智能的视频创作与编辑工具，提供视频剪辑、多语言翻译、AI 换脸、视频生成与增强等多种功能，帮助用户高效制作高质量视频内容，适用于社交媒体推广、产品营销、教育及多语言内容制作等多个场景。
AI项目与工具 2025年06月11日
Gemma 3 QAT

Gemma 3 QAT

Gemma 3 QAT 是谷歌推出的开源 AI 模型，采用量化感知训练技术，在降低显存需求的同时保持高性能。它支持多模态任务，具备 128,000-token 长上下文处理能力，并可在消费级 GPU 和边缘设备上运行。适用于视觉问答、文档分析、长文本生成等场景，同时兼容多种推理框架，便于部署。
AI项目与工具 2025年06月11日
Kimi长文生成器

Kimi长文生成器

Kimi长文生成器是一款基于AI技术的长文本创作工具，支持生成长达20万字的内容，具备结构化写作、信息整合、多语言支持及格式规范等功能。它适用于学术研究、内容创作、法律咨询、编程开发等多个领域，可显著提升用户的写作效率和文本质量。
AI项目与工具 2025年06月12日
artflow

artflow

Artflow 是一款利用人工智能技术打造的动画创作工具，用户只需输入文本便能生成包含剧情的动画视频。它支持动画合成、AI 角色生成及视频制作，涵盖多种语言与视觉风格选项，适合教育、营销、娱乐等多个领域应用，帮助用户实现高效且个性化的创意输出。
AI项目与工具 2025年06月12日
wcplusPro

wcplusPro

wcplusPro 是一款支持多平台的微信公众号数据采集与分析工具，可采集文章、阅读数据等信息，并支持百万级数据管理与快速检索。提供多种数据导出格式，适用于 AI 训练、内容分析、市场研究等场景。具备数据报告、全文搜索、任务管理等功能，满足不同用户的多样化需求。
AI项目与工具 2025年06月12日