日榜

开源的本地推理引擎，可根据设备硬件评估适配的模型并进行推荐、下载、调优和运行。适用于在 macOS、Linux、Windows WSL 及 CPU、Apple Silicon、NVIDIA 或 AMD GPU 设备上，为多种智能体工具提供本地模型服务。

这是用 Lean 4 完成并机器检验的费马大定理形式化证明，论证基于 Frey、Serre、Ribet、Wiles 和 Taylor-Wiles 的工作。项目可用于检查该定理的形式化证明，并浏览离线生成的证明网页。

是一款支持本地语音生成与识别的桌面应用，可进行语音克隆、文本转语音、语音转文字、视频配音和长音频制作。典型用途包括视频转录与本地化、系统级听写、多角色故事和有声书制作，以及批量生成音频和视频。

可在聊天中将代码库或系统描述转换为可展示、验证和分享的交互式系统地图，支持架构、工作流、时序、数据流和生命周期图表。典型用途包括绘制系统架构、CI/CD 流程、API 交互、数据管道、状态生命周期，以及审查设计变更。

面向 Claude Code、Codex 等 AI 编程代理的提示词与技能集合，引导代理先理解代码和真实数据流，再以必要的最小改动完成任务，同时保留验证、错误处理、安全性和可访问性。它还提供代码审查、全仓库审计、技术债登记及任务成本与测试记录等命令，适用于日常编码、变更审查和项目检查。

一个面向多种 Agent Skills 兼容宿主的编辑型图表技能，用于生成统一风格的品牌化图表，减少通用框图风格不一致和制作耗时问题。支持创建、重绘和编辑多种图表，并导出为可在浏览器打开的 HTML、SVG 或 PNG，适用于演示文稿、Figma 和社交卡片等场景。

这是一个用于改写 AI 生成文本的工具，旨在识别并减少夸张表达、机械节奏、装饰性格式等 25 种 AI 写作痕迹，同时保留原意、事实、代码、数据和链接目标。它支持 Markdown，可用于普通文本、个人写作、技术文档及参考性 prose，并能根据写作样本匹配作者语气。

一款跨平台桌面语音转文字工具，可将语音输入为文本、笔记和操作。支持本地或云端转录、AI 助手、会议记录、说话人识别、音视频导入、笔记搜索与分享，适用于日常听写、会议整理和语音驱动的 AI 工作流。

这是面向多种 AI 编程助手的可复用开发工作流与治理工具集，通过规则、代理、技能、钩子和记忆统一规划、编码、测试、审查与维护流程。可用于功能开发、缺陷修复、代码审查、安全扫描、端到端测试、文档更新及多代理协作。

面向个人和 AI 代理的开源 SEO 工具，提供关键词研究、排名跟踪、竞争对手分析、反向链接、网站审计和 AI 可见性等工作流。支持通过 MCP 让 Claude Code、OpenClaw 等代理直接使用 SEO 数据，也可按需自托管。

用于简化大语言模型微调、后训练、推理、评估与部署流程的开源工具，支持本地 GPU 上的 QLoRA、监督式微调和多种偏好训练。可用于聊天、代码、工具调用、视觉、音频等模型训练，以及交互测试、批量推理、模型合并、导出和评估。

面向大规模模型后训练的强化学习框架，用于执行异步强化学习、监督微调和在线蒸馏，支持多种训练算法、智能体环境及扩散模型训练。它适用于训练代码、计算机操作等智能体，以及在大规模模型上开展后训练任务。

这是 Google Research 开发的预训练时间序列基础模型，用于根据历史数据预测未来。支持单变量和多变量序列，以及过去和未来协变量，可用于不同领域的通用时间序列预测任务。

这是一个面向科学研究的开源 Scientific Agent Skills 技能集合，提供覆盖生物信息学、化学、医学、机器学习等领域的可调用技能。可用于文献检索与综述、数据分析、实验设计与模拟、药物发现、多组学研究、图表生成和可追溯报告撰写。

这是一个统一 AI 模型与代理服务的网关，通过兼容接口整合多个提供商和模型，解决不同客户端接入、配置及切换模型的问题。典型用途包括为 CLI、AI IDE 和编码代理提供统一访问入口，构建支持自动路由、配额共享和故障转移的多模型工作流。