日榜

面向智能体工作流的开源网关与路由器，通过兼容 OpenAI 的 API 统一调用托管、BYOK 和本地模型。它可按用户、智能体、用途和预算控制模型使用，并利用生产流量构建针对质量、速度和成本优化的路由。

这是一个将本地微信聊天记录整理为个人情报的工具，可检索和核查联系人历史、群聊主题、待回复事项、承诺、商机及复联线索。它支持按时间范围或指定对象生成日报、定向调查和回复草稿，并可输出 Markdown 与 HTML 报告。

一款 macOS 菜单栏边缘应用，以小型缺口和环形读数展示 Claude Code、Cursor、Codex 等编码助手的用量限制、重置时间及会话状态。它从本机已有的凭据或会话读取数据，并在会话结束、等待用户或用量达到阈值时提供提示。

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

一组供 Claude Code 使用的技能，用于改进 CLAUDE.md 指令、收窄 React 组件属性类型、构建迭代式编码代理工作流，以及通过图示和 HTML 产物解释主题。还可设计适配代码库的代理控制循环。

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

这是一个面向局域网兼容计算机集群的本地推理路由器，可发现节点、管理 Ollama 和 LM Studio，并提供兼容 Ollama 与 OpenAI 的代理接口。它适用于多智能体等并发本地推理任务，按引擎、模型和当前负载将独立请求分配到合适节点。

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

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

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

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

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

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

用于记录和审计智能体运行，并在危险工具调用执行前依据策略进行阻止或提示。它适用于多种编码 CLI、聊天网关和自建助手，也可通过 Python SDK 接入自定义智能体，典型用途包括防止密钥泄露、读取敏感文件、权限提升、破坏性数据库操作及未经审查的基础设施变更。

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

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

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

这是一个从零训练约 64M 小型语言模型的开源项目，提供预训练、监督微调、LoRA、知识蒸馏、偏好优化和强化学习等完整训练与数据处理内容。适用于 LLM 入门学习、模型复现、私有数据训练、推理服务、工具调用、选择题评测及端侧部署。