产品库

为Cursor.sh IDE提供AI辅助编码的开源仪表板。

CursorLens是一个开源的仪表板，专为Cursor.sh IDE设计，用于记录AI代码生成、跟踪使用情况并控制AI模型（包括本地模型）。它允许用户在本地运行或使用即将推出的托管版本。该产品代表了编程领域中AI技术的应用，提供了代码生成、使用跟踪和模型控制等功能，极大地提高了开发效率和代码质量。

高效编码的开源大型语言模型

Yi-Coder是一系列开源的代码大型语言模型（LLMs），在少于100亿参数的情况下提供最先进的编码性能。它有两种尺寸—1.5B和9B参数—提供基础和聊天版本，旨在高效推理和灵活训练。Yi-Coder-9B在GitHub的代码库级别代码语料库和从CommonCrawl筛选的代码相关数据上，额外训练了2.4万亿高质量token。Yi-Coder在多种编程任务中表现出色，包括基础和竞技编程、代码编辑和仓库级完成、长上下文理解以及数学推理。

精选全球AI前沿科技和开源产品

漫话开发者 - UWL.ME 是一个专注于人工智能前沿科技和开源产品的平台，提供最新的AI技术动态、开源产品介绍、以及相关领域的深度分析。它不仅为开发者和科技爱好者提供了一个获取信息的渠道，也为行业内部人员提供了交流和学习的平台。

一个动态、自成长的个人AI助手框架

Agent Zero是一个高度透明、可读、可理解、可定制和交互式的个人AI框架。它不是为特定任务预编程的，而是设计为通用的个人助手，能够执行命令和代码，与其他代理实例合作，并尽其所能完成任务。它具备持久记忆，能够记住以前的解决方案、代码、事实、指令等，以便在未来更快、更可靠地解决任务。Agent Zero使用操作系统作为工具来完成任务，没有预编程的单一用途工具。相反，它可以编写自己的代码，并使用终端根据需要创建和使用自己的工具。

高性能的开源代码模型

Mamba-Codestral-7B-v0.1 是 Mistral AI Team 开发的基于 Mamba2 架构的开源代码模型，性能与最先进的基于 Transformer 的代码模型相当。它在多个行业标准基准测试中表现出色，提供高效的代码生成和理解能力，适用于编程和软件开发领域。

创建和运行智能代理的工具

AutoGPT是一个强大的工具，它允许用户创建和运行智能代理，这些代理可以自动执行各种任务，使生活更轻松。AutoGPT的目标是提供工具，让用户专注于重要的事情。它通过构建和使用AI代理，推动了AI创新的前沿。

开源自托管AI编程助手

Tabby是一个开源的、自托管的AI编程助手，它利用Rust语言的优势，为开发者提供快速且安全的编程体验。Tabby允许用户通过简单的TOML配置文件来控制部署，确保代码的安全性和合规性。

高性能、多人协作代码编辑器

Zed是由Atom和Tree-sitter的创造者开发的高性能、多人协作代码编辑器，开源且集成了AI代码生成功能。它利用多核心CPU和GPU，实现即时启动、快速文件加载和响应键盘输入。Zed支持GitHub Copilot，并通过内置助手面板与模型进行对话式交互，以生成或重构代码。

开源的多语言代码生成模型

CodeGeeX4-ALL-9B是CodeGeeX4系列模型的最新开源版本，基于GLM-4-9B持续训练，显著提升了代码生成能力。它支持代码补全、生成、代码解释、网页搜索、函数调用、代码问答等功能，覆盖软件开发的多个场景。在公共基准测试如BigCodeBench和NaturalCodeBench上表现优异，是参数少于10亿的最强代码生成模型，实现了推理速度与模型性能的最佳平衡。

开源代码语言模型，提升编程和数学推理能力。

DeepSeek-Coder-V2是一个开源的专家混合模型(Mixture-of-Experts, MoE)，专为代码语言设计，其性能与GPT4-Turbo相当。它在代码特定任务上表现优异，同时在通用语言任务上保持了相当的性能。与DeepSeek-Coder-33B相比，V2版本在代码相关任务和推理能力上都有显著提升。此外，它支持的编程语言从86种扩展到了338种，上下文长度也从16K扩展到了128K。

下一代开源和双语大型语言模型

Yi-9B是01.AI研发的下一代开源双语大型语言模型系列之一。训练数据量达3T,展现出强大的语言理解、常识推理、阅读理解等能力。在代码、数学、常识推理和阅读理解等方面表现卓越,是同尺寸开源模型中的佼佼者。适用于个人、学术和商业用途。

集代码生成与执行于一体的开源系统

OpenCodeInterpreter是一个开源的代码生成系统,将代码生成、执行和迭代优化结合在一起。它利用包含6.8万段交互的Code-Feedback数据集进行训练,可以根据执行输出和人类反馈对代码进行动态优化。在HumanEval、MBPP等基准测试上的评估显示了它在代码生成方面的突出表现。具有33B参数量的OpenCodeInterpreter在HumanEval和MBPP的平均准确率可达83.2%,与GPT-4代码解释器的84.2%不相上下,并可通过人工反馈提升至91.6%。OpenCodeInterpreter缩小了开源代码生成模型与GPT-4等专有系统之间的差距。

开源代码生成模型

Code Llama 70B是一个大型开源代码生成语言模型,可以从自然语言提示或现有代码片段生成多种编程语言的代码。它基于175亿参数的通用语言模型Llama 2,经过专门针对代码生成任务的微调,可以高效准确地生成Python、C++、Java等语言的代码。Code Llama 70B在人工评估基准测试中取得了67.8的高分,性能超过了以往的开源模型,可与专利模型媲美。它强大的代码生成能力可以提升编程效率,降低编码门槛,启发更多创新应用。

开源、低成本的v0.dev替代品,可自定义且与GitHub无缝融合

vx.dev是一个开源的v0.dev替代品。它具有以下优点: - 低成本:通过提示工程技术,可以大大降低使用成本 - 易于定制:提供开源的提示,可以根据需求定制UI组件或代码风格 - GitHub无缝集成:生成的代码存储在GitHub上,内置版本控制、代码审查等功能 vx.dev的工作原理是,使用GPT-4模型根据事先定义好的提示来生成代码。主要成本在于输入和补全的标记数量。提示存储在prompts/ui-gen.md中,包含shadcn/ui、lucide和nivo图表的指令。通过删除不需要的组件指令,可以降低每次生成的API成本。 vx.dev可以轻松定制。用户可以基于现有提示进行修改,使用其他UI库或调整代码风格。生成的代码存储在GitHub上,拥有版本控制、协同等特性。私有仓库可以保证生成结果的可见性。

根据配置自动生成JS/TS功能代码

ScriptGPT是一个基于GPT-3的神经网络工具,能够根据用户提供的配置自动生成JavaScript和TypeScript的功能代码。它利用自然语言处理技术,只需要用户提供简单的代码功能描述,就可以生成对应的代码实现。该工具可以极大地提高开发效率,用户只需关注代码功能和业务逻辑,重复的代码编写工作就可以交给ScriptGPT来完成。主要优势有:1. 提高代码开发速度;2. 减少重复劳动;3. 自动添加测试用例;4. 自动安装所需代码库;5. 生成的代码可直接使用。该产品以命令行和API两种形式提供服务,开发者可以选择合适的方式集成到自己的开发流程中。

开源代码和库的搜索引擎

kandi是一个开源代码和库的搜索引擎,可以帮助开发者快速找到可重用的库、代码片段和云API,加速应用程序的开发。它拥有超过6.5亿个知识条目,开发者可以通过关键词检索相关函数、代码片段等。

AI驱动的下一代云服务IDE

Vairflow是一个AI驱动的下一代云服务IDE。它可以帮助您更快地构建、更多地构建。它简化了复杂的想法，将其转化为组件，每个组件可以是后端微服务（如Flask、FastAPI等）、Web UI（如React、Next.js、Vue.js等）或移动应用UI（适用于Android、iOS）。您可以无缝地开发和部署组件，消除了本地环境设置的麻烦，并可以通过单击一次部署。Vairflow还提供了AI辅助功能，如代码生成、代码完成、代码解释等，以及实时预览编辑的功能。您可以根据实际使用情况付费，并可以无缝切换项目和环境。Vairflow的定位是灵活部署、成本有效、无缝协作，无供应商锁定。

AI辅助应用开发工具

FlutterFlow AI Gen是一款AI辅助应用开发工具，提供设计、构建和发布多语言、响应式的Flutter应用的能力。它包括AI Page Gen、AI Schema Gen、AI Theme Gen和AI Code Gen等功能，能够快速生成代码、样式、数据库结构，并提供自定义和导出功能。FlutterFlow的AI助手能够在应用开发的每个步骤中提供帮助，使应用开发变得更加简单。

开源UI可视化工具，轻松构建定制化的LLM流程

Flowise是一个开源的UI可视化工具，使用LangchainJS编写，用于构建定制化的LLM流程。它支持快速构建LLM应用程序，并提供可扩展的组件集成。Flowise可以用于构建LLM链、问答检索链、语言翻译链等多种应用场景。它是一个免费的开源项目，适用于商业和个人使用。

AI辅助编码工具

CodePal是一款基于人工智能的编码辅助工具。它能够根据简单的文字生成可工作的代码。CodePal具有多种功能，能够生成JavaScript、Python等多种编程语言的代码。它还提供CI/CD写作、Kubernetes写作、代码扩展、代码修复、代码重构等功能。CodePal能够帮助开发人员提高编码效率，节省时间和精力。CodePal的定价详细信息请访问官方网站。

为软件工程挑战打造的先进基础AI模型

poolside是一个为软件工程挑战而构建的先进基础AI模型，它通过在用户代码上进行微调，学习项目的独特之处，以理解通用模型无法理解的复杂性。它建立在poolside基础之上，每天都能变得更好。除了先进的代码编写模型，poolside还构建了一个直观的编辑器助手，并提供了一个开发者可以构建的API。poolside由Jason Warner和Eiso Kant于2023年4月创立，他们之前在AI和软件工程领域有着丰富的经验。

AI推理模型，解决复杂问题的新系列。

OpenAI o1是一系列新开发的AI模型，旨在通过更长时间的思考来解决科学、编码和数学等领域的复杂问题。这些模型通过训练学习，能够细化思考过程、尝试不同策略并识别错误。在国际数学奥林匹克竞赛的资格赛中，o1模型的得分远高于之前的GPT-4o模型，展现了其在数学和编码方面的优势。此外，o1系列还引入了新的安全训练方法，使其能够更好地遵循安全和对齐准则。

将智能设备控制权交到您手中。

01 App是一个基于iOS和Android的应用程序，它通过简单的按键对讲界面，允许用户从世界任何地方控制Mac、Windows和Linux机器。该应用代表了一种新型的计算平台，专注于软件而非硬件，通过提供更好的SDK、集成语音模型、提高教学模式的可靠性和增加多模态功能来增强用户体验。01 App的推出，是为了让用户能够更便捷地体验到01平台的智能设备控制能力，同时避免了制造硬件所带来的复杂性和成本。

由知识图谱引擎驱动的创新Agent框架

muAgent是一个创新的Agent框架，由知识图谱引擎驱动，支持多Agent编排和协同技术。它利用LLM+EKG（Eventic Knowledge Graph 行业知识承载）技术，结合FunctionCall、CodeInterpreter等，通过画布式拖拽和轻文字编写，实现复杂SOP流程的自动化。muAgent兼容市面上各类Agent框架，具备复杂推理、在线协同、人工交互、知识即用等核心功能。该框架已在蚂蚁集团多个复杂DevOps场景中得到验证。

构建协作AI系统，自动化工作流生成

GenAgent是一个框架，它通过创建工作流来构建协作AI系统，并将这些工作流转换为代码，以便大型语言模型（LLM）代理更好地理解。GenAgent能够从人类设计的工作中学习并创造新的工作流，生成的工作流可以被解释为协作系统，以完成复杂任务。

开源的AI代理/RAG应用的监控与分析工具

Laminar是一个开源的监控和分析工具，专为AI代理和RAG应用设计，提供类似于DataDog和PostHog的功能。它基于OpenTelemetry进行自动监控，支持快速、可靠的数据收集和分析。Laminar使用Rust编写，具有高性能和可靠性，适用于大规模数据处理。它通过提供详细的追踪、事件和分析功能，帮助开发者和企业优化AI应用的性能和用户体验。

开源视频编辑框架，支持自动化视频工作流。

Revideo是一个基于Motion Canvas的开源框架，用于程序化视频编辑。它允许开发者自动化复杂的视频工作流程，或在浏览器中构建完整的视频编辑器。Revideo支持使用Typescript创建视频模板，并能够即时预览和渲染为MP4格式的视频。它适用于大规模视频生成、A/B测试视频广告、构建网页内的视频编辑器或视频游戏等场景。

世界顶尖的开源大型语言模型

Reflection Llama-3.1 70B 是目前世界上顶尖的开源大型语言模型（LLM），采用名为 Reflection-Tuning 的新技术进行训练，使模型能够检测其推理中的错误并进行修正。该模型在合成数据上进行了训练，这些数据由 Glaive 生成。对于正在训练模型的用户来说，Glaive 是一个非常出色的工具。该模型使用标准的 Llama 3.1 聊天格式，通过特殊的标签来区分模型的内部思考和最终答案，从而提升用户体验。

高效开源的大型语言模型

OLMoE-1B-7B 是一个具有1亿活跃参数和7亿总参数的专家混合型大型语言模型（LLM），于2024年9月发布。该模型在成本相似的模型中表现卓越，与更大的模型如Llama2-13B竞争。OLMoE完全开源，支持多种功能，包括文本生成、模型训练和部署等。

开源的专家混合语言模型，具有1.3亿活跃参数。

OLMoE是一个完全开放的、最先进的专家混合模型，具有1.3亿活跃参数和6.9亿总参数。该模型的所有数据、代码和日志都已发布。它提供了论文'OLMoE: Open Mixture-of-Experts Language Models'的所有资源概览。该模型在预训练、微调、适应和评估方面都具有重要应用，是自然语言处理领域的一个里程碑。