产品库

Goedel-Prover 是一款开源的自动化定理证明模型，专注于数学问题的形式化证明。

Goedel-Prover 是一款专注于自动化定理证明的开源大型语言模型。它通过将自然语言数学问题翻译为形式化语言（如 Lean 4），并生成形式化证明，显著提升了数学问题的自动化证明效率。该模型在 miniF2F 基准测试中达到了 57.6% 的成功率，超越了其他开源模型。其主要优点包括高性能、开源可扩展性以及对数学问题的深度理解能力。Goedel-Prover 旨在推动自动化定理证明技术的发展，并为数学研究和教育提供强大的工具支持。

开放数学语言模型

Llemma是一个开放的数学语言模型，提供数据和训练代码。它可以用于数学相关的任务，如定理证明、数学文本生成等。Llemma具有高质量的数学训练数据，可以帮助用户进行数学研究和应用开发。Llemma的优势在于其开放性和灵活性，用户可以根据自己的需求进行定制和扩展。Llemma的定价信息请参考官方网站。

快速查找定理

Moogle是一个用于快速查找定理的网站。它提供强大的搜索功能，帮助用户更快地找到所需的数学定理。Moogle还提供定理的详细介绍和应用示例，方便用户理解和应用。Moogle是数学学习和研究的强大工具。

企业自动化平台

Moveworks 是一个基于世界上最先进的大型语言模型训练的生成式 AI 的企业自动化平台，能够自动化工作流程。它适用于各个部门，提供了自然语言的连接和沟通方式，帮助员工更高效地完成工作。

自动化报告引擎

Instaphrase是一款自动化报告引擎，能够帮助用户自动完成作业和报告的研究、写作和格式化过程。它会从最新的文章、新闻和学术论文中寻找来源，并提供所有使用的参考文献。用户可以选择所需的语言和引用格式，并将报告下载为PDF文档。订阅费用为每月20美元，提供20个积分，额外积分可以购买。

通过结合ChatGPT自动化与代码，创建简单的自动化任务

Magic Loops是一种基于ChatGPT的自动化工具，可以连接数据、发送电子邮件、接收短信、爬取网站等功能。它能够帮助用户自动化生活中的各种任务，提高工作效率。Magic Loops的主要优点是可以与各种数据源和应用程序集成，轻松实现个性化的自动化需求。

个性化邮件和自动化跟进

Klenty是一款销售自动化工具，可以帮助销售团队发送个性化的邮件和自动化跟进。它可以大大减少繁琐的手动操作，让销售人员更专注于建立关系和闭环。Klenty提供邮件追踪、销售拓展和销售挖掘等功能，并提供灵活的定价方案，满足不同团队的需求。无论是中小企业还是大型企业，都可以使用Klenty来提升销售效率。

自动化数据录入

DocumentPro使用AI从文档和电子邮件中提取信息和表格，快速准确地完成数据录入。它可以处理各种标准的商业文档，无需任何设置，节省时间和精力。支持各类文档类型，包括发票、采购订单、收据、提货单、身份证等。通过智能OCR和GPT技术，DocumentPro能够自动提取数据字段和表格，并支持导出为Excel或JSON格式。无需培训即可使用，还可以处理自定义文档（即将推出）。

自动化广告管理

MisterCMO是一款AI广告自动化引擎，为广告主提供全天候的广告创建、管理和优化服务。通过无需编码的集成系统，快速连接到广告平台。自动化创建广告素材，并通过AI技术定位目标受众并生成多个广告变体。用户可根据需求定制自动化规则，或选择让MisterCMO AI实时管理广告。帮助用户轻松提升广告效果。

智能Twitter自动化平台

TweetFox是一个智能Twitter自动化平台，提供AI生成推文、全文线索、兴趣相关推文等功能。它还提供深度分析和增长实验室，帮助用户了解什么对他们最有效。TweetFox适用于个人品牌建设、维护多个账户的用户等。

AI自动化代理机构

Leonardo Labs是位于加利福尼亚州并全球可用的顶级AI自动化代理机构。我们专注于构建AI克隆产品，帮助创业公司实现自动化。我们的AI克隆产品可以代替您进行管理工作，使您能够更专注于客户和业务的扩展。我们提供定制的AI代码开发、独特的个性化形象和声音、不断更新的知识库、固定月费、高质量的服务和灵活可扩展的解决方案。

自动化求职工具

Spigot是一款自动化求职工具，帮助用户更快地获得面试机会。只需选择理想职位并回复邮件，就能自动化完成求职流程。

自动化研究与分析

Nuntium AI利用人工智能技术，通过综合公开可得的信息与私有数据库，生成长篇研究报告。传统上需要人工分析师数小时甚至数天完成的工作，现在只需点击一下按钮，完全自动化。具有优化的高效研究和分析能力，可节省时间和成本。

自动化网络工具，创建、运行和扩展网络自动化。

H是一个致力于网络自动化的产品，它允许用户创建、运行和扩展网络自动化任务。这项技术的重要性在于它能够提高工作效率，减少重复性劳动，让用户能够专注于更有创造性和战略性的任务。H的背景信息显示，它是一个API beta产品，目前正在招募用户参与测试。产品的主要优点包括提高效率、减少错误和节省时间。关于价格和定位，目前没有具体的信息，但用户可以加入等待名单以开始构建与H相关的项目。

数据自动化平台

Avian是一款连接全球商业智能的数据自动化平台，通过Avian可以将数据连接到ChatGPT、Looker Studio和Google Sheets等工具上。Avian提供24/7客户服务，并提供14天免费试用，无需信用卡。

AI冷调用自动化

PitchBreeze是一款AI销售外展工具，可以自动发送个性化消息给潜在客户。它通过扫描数据信号如公司新闻和社交媒体来创建超个性化的消息，同时可以根据用户的理想客户资料和价值主张提供1,000个新的潜在客户名单。PitchBreeze提供简单的按需付费方案，每月联系最多1,000个潜在客户，用户可以上传自己的潜在客户名单或使用PitchBreeze提供的名单，并且提供超个性化的外展电子邮件。

自动化DevOps + 基础架构

AutoInfra是一个基于语言的基础架构工具，通过在Slack中发送消息来创建、修改和监控AWS。AutoInfra提供快速性能、精确控制、隐私保护、AI日志分析等功能，并始终在线监控您的基础架构。自动化的每日报告可以让您了解最近24小时内发生的一切，并帮助解决基础架构问题。AutoInfra可以加速您的功能发布时间表，同时具备安全性和可配置性。

基于代理的自动化系统，专注于网页自动化。

Agent-E 是一个基于 AutoGen 代理框架的系统，旨在自动化用户计算机上的操作，目前专注于浏览器内的自动化。它通过自然语言与网页浏览器交互，执行填写表单、搜索和排序电商产品、定位网站内容、管理播放设置、执行网络搜索、管理项目管理平台任务等操作。Agent-E 正在成长中，已经能够处理多样化的任务，但最佳任务是用户自行发掘的。

工作自动化的智能助手

Context Autopilot是一款AI生产力套件，它能够像人类一样学习、思考并使用工具。这款产品通过集成100多种工具，提供深度理解和新颖的洞察力，帮助用户从数据中获得准确的答案，减少幻觉。它代表了AI在工作场所的应用，通过自动化和智能化提高工作效率和质量。产品背景信息显示，Context Autopilot由Context公司开发，旨在通过AI技术帮助团队更智能地工作，实现更多成就。

自动化财务运营

Osfin是一款集财务和会计自动化功能于一体的全能平台。从对账到支付等，优化您的财务流程。

API自动化图片生成工具

Switchboard Canvas是一个API自动化图片生成工具，可帮助用户快速生成定制化的图片。它提供了直观易用的模板设计工具，用户可以根据自己的需求设计和预览模板，并导入自定义图片和字体。使用Switchboard Canvas的API，用户可以一次性创建多个不同尺寸的图片，并可以根据需要对模板数值进行个别修改。此外，Switchboard Canvas还支持文本的实时翻译，支持超过70种语言。试用期为14天，无需信用卡，所有功能均可使用。

自动化创建Gmail邮件的工具

这是一个在Gmail中自动创建邮件的工具，使用GPT-3.5来自动生成邮件内容，节省撰写邮件的时间。它具有两个主要功能：1. 创建新邮件：通过点击按钮创建新的邮件，并自动插入内容；2. 创建回复邮件：通过拖放文本并点击按钮创建回复邮件。它可以帮助您节省时间，提高邮件的撰写效率。

销售参与和销售自动化平台

Outplay是一个全能的多渠道销售参与平台，帮助销售团队完成更多交易，大幅增加收入。14天免费试用。

自动化个性化视频制作工具

Dopplio是一个利用AI技术自动化制作个性化视频的工具，它允许用户通过简单的操作生成带有个性化语音和背景的视频，用于销售、招聘和潜在客户生成等。

AI客服自动化平台

Verloop.io是一款AI客服自动化平台，提供智能对话和自动化解决方案，帮助企业实现无缝的客户支持体验。通过生成式AI提供高度个性化和具有上下文的互动，超越客户的期望。主要功能包括聊天自动化、支持流程优化、语音自动化等。适用于各种商业场景。

LinkedIn自动化和营销工具

Vulse是一款全能的AI营销软件，专为帮助您在LinkedIn上实现增长而设计。通过Vulse的LinkedIn自动化和营销工具，您可以计划、创建和发布有影响力的内容，快速简便地吸引和参与目标受众。立即开始，将您的LinkedIn打造成一个建立受众、产生参与和扩大影响力的机器。定价请参考官网。

AI驱动的自动化求职助手

AutoApply是一个AI驱动的求职平台，通过自动化技术帮助用户快速申请工作，节省时间并提高求职效率。它通过分析用户的简历和求职意向，自动匹配合适的职位，并生成个性化的求职信和简历。此外，AutoApply还提供24小时服务，让用户随时随地都能申请工作。

自动化销售工具

AskToSell是一款帮助企业自动化销售小交易的AI销售工具。它能够自主完成销售流程，包括联系潜在客户、确认需求、准备报价、处理异议、协商和关闭交易。使用AskToSell可以帮助企业更快地增加收入。定价灵活，可根据需求扩展或缩减使用规模。

营销播客的自动化助手

Dubb是一个自动化、易于使用的助手，可为您的播客生成营销内容。Dubb将您的播客剧集转化为节目摘要、社交媒体帖子、通讯内容、音频文字稿件等内容，助您在每个平台上进行营销。