工具

360查字体

360公司推出的一款在线字体版权查询工具,帮助用户检测和识别电脑上已安装的字体是否具有商用版权,避免因字体侵权而产生的法律风险和经济损失。

Finalle

Finalle是一款基于人工智能技术构建的金融分析平台,专为现代投资者设计。它通过实时数据分析、新闻事件集成以及财报解读等功能,帮助用户深入了解市场动态和股票表现。此外,Finalle还兼具投资者教育属性,提供从基础入门到进阶应用的学习资源。其核心优势在于高效的数据处理能力、简洁的操作体验以及对主流美股的深度覆盖。

Goedel

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

创作星

创作星是一款基于AI技术的多功能对话工具,集成了AI聊天、AI绘画、AI视频制作及文本生成等多项功能。它能够适应多种场景需求,如工作咨询、学术讨论、日常闲聊等,并提供便捷的操作体验。无论是创意激发还是实际应用,创作星都展现出强大的实用性和创新性。 ---

NotebookMLX

NotebookMLX 是一款基于 MLX 技术开发的开源工具,支持将 PDF 文档转换为音频播客。它通过 PDF 预处理、播客脚本生成、文本优化以及文本转语音等功能,实现了从 PDF 文件到高质量音频内容的全流程自动化处理,适用于教育、播客创作、有声书制作等多个领域,显著提升了信息传播效率和用户体验。

AI Meeting Notes

AI Meeting Notes 是 Notion 提供的智能会议记录工具,支持实时转录、自动生成会议摘要、提取行动项及团队协作。用户可通过快捷键或日历集成快速启动,支持多设备同步和多语言使用,提升会议管理效率与信息整理能力。

Hepta AI

一种AI驱动可简化科学研究的统计分析过程的工具。Hepta AI为科学研究提供人工智能驱动的统计和数据分析,包括创建表格、图形和统计分析描述。

MiniMax MCP Server

MiniMax MCP Server 是一款基于 MCP 协议的多模态生成服务器,支持视频、图像、语音及声音克隆等功能。其具备高分辨率输出、自然语音生成与声音克隆能力,兼容多种主流客户端。平台采用客户端-服务器架构,结合 RAG 技术提升响应准确性,适用于教学、游戏开发、内容创作等多个领域。

Trickle

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

OneAI

OneAI是一款基于AI大语言模型的智能对话工具,支持多语言交流、信息检索、文本创作、翻译及生活辅助等功能。适用于学习辅导、写作协助、客户服务等多种场景,提供高效、精准的服务,提升用户体验与效率。