#assistant 每日趋势报告

Orkas is an open-source (MIT), local-first AI team for your desktop: a Commander turns your goal into to-dos and coordinates 16 built-in specialist agents plus Claude Code, Codex, OpenCode, OpenClaw and Hermes, with projects, scheduled automations and connectors. Free app for macOS & Windows; built-in models or your own keys.

开源版Notebook LM实现，具备更高灵活性和更多功能

采用 Zig 语言编写的最快速、最精简且完全自主的人工智能助手基础设施

ESPHome 是一个通过简单而强大的配置文件控制 ESP8266/ESP32 设备，并通过家庭自动化系统实现远程控制的系统。

Rocq证明器是交互式定理证明器（或称证明助手），提供形式化语言来编写数学定义、可执行算法和定理，并配备半交互式开发机器验证证明的环境

Agda是一种依赖类型编程语言/交互式定理证明器。