产品库

UIGEN-T1-Qwen-7b 是一个基于 Qwen2.5-Coder-7B-Instruct 的 70 亿参数模型，用于推理生成 HTML 和 CSS 基础的 UI 组件。

UIGEN-T1-Qwen-7b 是一个专注于 UI 推理生成的大型语言模型。它通过复杂的推理链路方法生成基于 HTML 和 CSS 的 UI 组件，能够为前端开发提供快速的布局生成方案。该模型基于 Qwen2.5-Coder-7B-Instruct 微调而成，专注于基本前端应用的生成，如仪表盘、登录页面和注册表单。其主要优点在于能够快速生成结构化的 HTML/CSS 代码，并通过推理生成符合设计原则的 UI 布局。该模型的主要应用场景是简化前端开发流程，提高开发效率，并为低代码/无代码工具提供支持。

绘制UI并用GPT4生成HTML

这是一个使用 tldraw 和 gpt-4-vision api 根据您绘制的线框生成 html 的应用程序。可以快速创建静态网页的原型，并自动生成对应的HTML代码，提高前端开发效率。该工具简单易用，适合前端开发人员和UI设计师使用。定位于提升界面设计和开发效率，降低工作量。其工作原理是，只需获取当前画布 SVG，将其转换为 PNG，并将该 png 发送到 gpt-4-vision，并附有指令以返回带有 tailwind 的单个 html 文件。

前端开发利器，使用 AI 加速 UI 构建

Coffee 是一个使用人工智能加速前端开发的工具，能够以 10 倍的速度构建和迭代用户界面。它可以与任何 React 代码库一起使用，并生成干净、可维护的代码。Coffee 的设计目标是成为一个更加人性化的工具，能够写和交互真实的代码。

前端开发助手，提升10倍开发效率。

Superflex是一款前端开发助理插件，旨在帮助开发者通过各种输入方式快速构建UI组件和页面。它支持从Figma设计、草图、截图或文本提示生成代码，同时分析并重用现有代码库中的组件，以适应开发者的编码风格。Superflex通过VSCode插件的形式提供服务，支持多种输入源生成代码，并且能够适应开发者的编码风格，提供透明的定价策略，旨在帮助开发者提高工作效率，减少重复劳动，专注于创新和复杂问题的解决。

DeepSeek-R1-Distill-Qwen-7B 是一个开源的推理模型，专注于数学、代码和推理任务。

DeepSeek-R1-Distill-Qwen-7B 是一个经过强化学习优化的推理模型，基于 Qwen-7B 进行了蒸馏优化。它在数学、代码和推理任务上表现出色，能够生成高质量的推理链和解决方案。该模型通过大规模强化学习和数据蒸馏技术，显著提升了推理能力和效率，适用于需要复杂推理和逻辑分析的场景。

Stability AI 生成模型是一个开源的生成模型库。

Stability AI 生成模型是一个开源的生成模型库，提供了各种生成模型的训练、推理和应用功能。该库支持各种生成模型的训练，包括基于 PyTorch Lightning 的训练，提供了丰富的配置选项和模块化的设计。用户可以使用该库进行生成模型的训练，并通过提供的模型进行推理和应用。该库还提供了示例训练配置和数据处理的功能，方便用户进行快速上手和定制。

业界首个超大规模混合 Mamba 推理模型，强推理能力。

混元T1 是腾讯推出的超大规模推理模型，基于强化学习技术，通过大量后训练显著提升推理能力。它在长文处理和上下文捕捉上表现突出，同时优化了计算资源的消耗，具备高效的推理能力。适用于各类推理任务，尤其在数学、逻辑推理等领域表现优异。该产品以深度学习为基础，结合实际反馈不断优化，适合科研、教育等多个领域的应用。

新一代最强推理模型

OpenAI o3模型是继o1之后的新一代推理模型，包括o3和o3-mini两个版本。o3在某些条件下接近于通用人工智能（AGI），在ARC-AGI基准测试中得分高达87.5%，远超人类平均水平。它在数学和编程任务中表现出色，在2024年美国数学邀请赛（AIME）中得分96.7%，在Codeforces评级中达到2727分。o3能够自我事实核查，通过“私人思维链”进行推理，提高答案的准确性。o3是首个使用“审议对齐”技术训练的模型，以符合安全原则。目前，o3模型尚未广泛可用，但安全研究人员可以注册预览o3-mini模型。o3 mini版将在1月底推出，之后不久推出o3完整版。

低代码前端设计与开发平台

TeleportHQ是一个协作的前端平台，集成了UI开发和内容建模工具。通过强大的可视化构建工具，可以快速创建和发布无头静态网站。还可使用我们的Figma插件将设计转换为响应式网站、组件和界面。提供低代码开发能力，实现定制功能。支持自定义代码、可视修改、创建小部件和交互。可以通过Vercel部署、推送到Github、免费托管网站，或以干净的代码形式下载您的作品。

一款在推理和编程基准测试中表现与o1-preview相当的推理模型。

Sky-T1-32B-Preview是由加州大学伯克利分校的NovaSky团队开发的推理模型。该模型在流行的推理和编程基准测试中表现出色，与o1-preview相当，且训练成本不到450美元，展示了以低成本高效复制高级推理能力的可能性。该模型完全开源，包括数据、代码和模型权重，旨在推动学术界和开源社区的发展。其主要优点是低成本、高性能和开源，为研究人员和开发者提供了宝贵的资源。

开放的大型推理模型，解决现实世界问题

Marco-o1是一个开放的大型推理模型，旨在通过先进的技术如Chain-of-Thought (CoT) fine-tuning、Monte Carlo Tree Search (MCTS)、反射机制和创新的推理策略，优化复杂现实世界问题的解决任务。该模型不仅关注数学、物理和编程等有标准答案的学科，还强调开放性问题的解决。Marco-o1由阿里巴巴国际数字商务的MarcoPolo团队开发，具有强大的推理能力，已在多个领域展示出卓越的性能。

一款 21B 通用推理模型，适合低延迟应用。

Reka Flash 3 是一款从零开始训练的 21 亿参数的通用推理模型，利用合成和公共数据集进行监督微调，结合基于模型和基于规则的奖励进行强化学习。该模型在低延迟和设备端部署应用中表现优异，具有较强的研究能力。它目前是同类开源模型中的最佳选择，适合于各种自然语言处理任务和应用场景。

OpenThinker-32B 是一款强大的开源推理模型，专为提升开放数据推理能力而设计。

OpenThinker-32B 是由 Open Thoughts 团队开发的一款开源推理模型。它通过扩展数据规模、验证推理路径和扩展模型大小来实现强大的推理能力。该模型在数学、代码和科学等推理基准测试中表现卓越，超越了现有的开放数据推理模型。其主要优点包括开源数据、高性能和可扩展性。该模型基于 Qwen2.5-32B-Instruct 进行微调，并在大规模数据集上训练，旨在为研究人员和开发者提供强大的推理工具。

全球最强的编程和推理模型，提升开发效率。

Claude 4 是 Anthropic 最新推出的 AI 模型系列，具备强大的编程和推理能力，能够高效处理复杂任务。其卓越的性能使其在编程基准测试中名列前茅，成为开发者的重要工具。Claude 4 通过多项新功能的引入，提升了信息处理的效率和准确性，适合需要高效编码和逻辑推理的用户。

一个通用框架，用于在测试时调节大型推理模型的思维进度。

AlphaOne（α1）是一种调节大型推理模型（LRMs）在测试时思维进度的通用框架。通过引入 α 时刻和动态安排慢速思维转变，α1 实现了慢速到快速推理的灵活调节。这一方法统一并推广了现有的单调缩放方法，优化了推理能力与计算效率。该产品适用于需要处理复杂推理任务的科研人员和开发者。

大型推理模型框架，支持PyTorch和HuggingFace。

LLaMA-O1是一个大型推理模型框架，它结合了蒙特卡洛树搜索（MCTS）、自我强化学习、PPO等技术，并借鉴了AlphaGo Zero的双重策略范式以及大型语言模型。该模型主要针对奥林匹克级别的数学推理问题，提供了一个开放的平台用于训练、推理和评估。产品背景信息显示，这是一个个人实验项目，与任何第三方组织或机构无关。

Dolphin R1是一个用于训练推理模型的数据集，包含80万条样本。

Dolphin R1是一个由Cognitive Computations团队创建的数据集，旨在训练类似DeepSeek-R1 Distill模型的推理模型。该数据集包含30万条来自DeepSeek-R1的推理样本、30万条来自Gemini 2.0 flash thinking的推理样本以及20万条Dolphin聊天样本。这些数据集的组合为研究人员和开发者提供了丰富的训练资源，有助于提升模型的推理能力和对话能力。该数据集的创建得到了Dria、Chutes、Crusoe Cloud等多家公司的赞助支持，这些赞助商为数据集的开发提供了计算资源和资金支持。Dolphin R1数据集的发布，为自然语言处理领域的研究和开发提供了重要的基础，推动了相关技术的发展。

AI助力前端开发，快速生成组件代码。

Frontend AI是一个开源的前端AI社区工具，它通过AI技术帮助开发者快速生成前端组件代码。用户可以通过简单的请求或上传图片，立即获得无需手动编写的、可立即使用的代码。它支持Tailwind CSS，允许用户自定义设计元素，并将生成的代码轻松集成到项目中。

OpenAI o3-mini 是 OpenAI 推出的最新高性价比推理模型，专为 STEM 领域优化。

OpenAI o3-mini 是 OpenAI 推出的最新推理模型，专为科学、技术、工程和数学（STEM）领域优化。它在保持低成本和低延迟的同时，提供了强大的推理能力，尤其在数学、科学和编程方面表现出色。该模型支持多种开发者功能，如函数调用、结构化输出等，并且可以根据需求选择不同的推理强度。o3-mini 的推出进一步降低了推理模型的使用成本，使其更适合广泛的应用场景。

前端页面生成神器，提升开发效率

gpt-frontend-code-gen 是一个基于 React 和 Vite 构建的前端项目，结合 Koa 后端服务，实现前端页面生成并预览的功能。它使用 GPT-4 模型，支持 Chakra UI 和 ShadcnUI 组件生成，允许开发者通过对话形式持续迭代和修改页面，直到达到满意的效果。

DeepSeek-R1-Zero 是一款通过大规模强化学习训练的推理模型，无需监督微调即可实现卓越推理能力。

DeepSeek-R1-Zero 是由 DeepSeek 团队开发的推理模型，专注于通过强化学习提升模型的推理能力。该模型在无需监督微调的情况下，展现出强大的推理行为，如自我验证、反思和生成长链推理。其主要优点包括高效推理能力、无需预训练即可使用，以及在数学、代码和推理任务上的卓越表现。该模型基于 DeepSeek-V3 架构开发，支持大规模推理任务，适用于研究和商业应用。

将草图转化为 UI 代码

UI Sketcher 是一个可以将草图转化为 UI 代码的插件。它可以帮助用户快速将草图设计转化为可用的 UI 代码，提高开发效率。该插件支持在 Visual Studio Code 中使用，用户可以通过在插件中进行草图设计并转化为 UI 代码。UI Sketcher 支持下载安装，并提供详细的使用文档。该插件主要优势在于快速、高效地将草图转化为 UI 代码，提供了简单易用的界面和丰富的功能。

带Prompt的前端组件库，设计工程师的NPM，快速构建精致的UI。

21st.dev是一个为设计工程师提供React Tailwind组件的平台，灵感来源于shadcn/ui。它由 RorkAI 团队和 Claude 3.5 Sonnet 构建，旨在帮助设计工程师更快地交付精致的用户界面。用户只需一条命令即可安装，极大地提高了开发效率。这个平台的主要优点是它的组件化和模块化，使得设计和开发工作更加灵活和高效。产品背景信息显示，它是为了满足设计工程师对于快速、高质量UI组件的需求而创建的。目前，该平台提供免费试用，但具体的定价信息需要进一步查看其官方网站或联系客服获取。

小米首个推理大模型MiMo开源，专为推理任务设计，性能卓越。

Xiaomi MiMo是小米公司开源的首个推理大模型，专为推理任务设计，具备卓越的数学推理和代码生成能力。该模型在数学推理（AIME 24-25）和代码竞赛（LiveCodeBench v5）公开测评集上表现出色，仅用7B的参数规模就超越了OpenAI的o1-mini和阿里Qwen的QwQ-32B-Preview等更大规模的模型。MiMo通过预训练和后训练阶段的多层面创新，包括数据挖掘、训练策略和强化学习算法等，显著提升了推理能力。该模型的开源为研究人员和开发者提供了强大的工具，推动了人工智能在推理领域的进一步发展。

使用Ollama和Gradio UI的GraphRAG本地模型

GraphRAG-Ollama-UI是一个基于微软GraphRAG的本地模型适配版本，支持使用Ollama进行本地模型支持。它通过Gradio UI提供了一个交互式用户界面，使得用户可以更方便地管理数据、运行查询和可视化结果。该模型的主要优点包括本地模型支持、成本效益高、交互式用户界面、实时图可视化、文件管理、设置管理、输出探索和日志记录。

前端组件助手

Magic Patterns是一款前端组件助手，提供了丰富的UI组件和样式模板，帮助用户快速构建前端页面。其优势在于使用Radix Themes和Tailwind等框架，可以快速搭建出美观、响应式的网站。Magic Patterns的定价灵活，用户可以按需购买。

s1是一个基于Qwen2.5-32B-Instruct微调的推理模型，仅用1000个样本进行训练。

s1是一个推理模型，专注于通过少量样本实现高效的文本生成能力。它通过预算强制技术在测试时进行扩展，能够匹配o1-preview的性能。该模型由Niklas Muennighoff等人开发，相关研究发表在arXiv上。模型使用Safetensors技术，具有328亿参数，支持文本生成任务。其主要优点是能够通过少量样本实现高质量的推理，适合需要高效文本生成的场景。

LG AI 推出的开源推理 AI 模型，具备卓越的推理能力。

EXAONE Deep 是 LG AI Research 推出的先进推理 AI 模型，标志着韩国在全球 AI 市场中的竞争力。它具备 32 亿参数，表现卓越，尤其在数学和科学问题解决方面展现出色。该模型的发布使得 LG 在 AI 领域迈入了自主决策的时代，其开源特性使得更多开发者能够利用这一技术进行研究与开发。EXAONE Deep 的轻量级和在设备上的模型设计使得其适用于多个行业，包括教育、科学研究、编程等。

Steiner 是一个基于合成数据训练的推理模型，旨在探索多种推理路径并自主验证。

Steiner 是由 Yichao 'Peak' Ji 开发的推理模型系列，专注于通过强化学习在合成数据上训练，能够在推理时探索多种路径并自主验证或回溯。该模型的目标是复现 OpenAI o1 的推理能力，并验证推理时的扩展曲线。Steiner-preview 是一个正在进行中的项目，其开源目的是为了分享知识并获取更多真实用户的反馈。尽管该模型在某些基准测试中表现出色，但尚未完全实现 OpenAI o1 的推理扩展能力，因此仍处于开发阶段。

一个可以复制任何网页UI界面并生成代码提示的工具。

Same是一个强大的在线工具，允许用户通过输入网页链接生成对应的代码提示，帮助开发者快速复现目标网站的UI界面。它基于先进的网页解析技术，能够精准提取页面元素并生成可复用的代码片段。该工具对于前端开发者来说是一个高效的辅助工具，能够节省大量的时间和精力，特别是在需要快速搭建原型或进行界面克隆时。目前，Same以免费的形式提供服务，主要面向开发者和设计人员。