由于 trendforge.devlive.top 访问受限，请切换到 trendforge.devlive.org 域名

每日 每周 每月
2026-08-12
返回报告
🏷️

#assistant 每日趋势报告

📅 2026-08-12
📊 7 个项目

🔥 #assistant 每日热门项目

openclaw/openclaw

TypeScript

属于你个人的AI助手。全操作系统支持。全平台兼容。龙虾之道。🦞

ai assistant crustacean
openclaw
openclaw 开发者
386k
81k
1.9k
+187
排名 #4
8月12日
查看详情

ruvnet/RuView

Rust

π RuView：WiFi DensePose 将商用 WiFi 信号转化为实时人体姿态估计、生命体征监测与存在检测——全程无需任何视频像素。

awesome claude densepose
ruvnet
ruvnet 开发者
89k
11k
2k
+165
排名 #4
8月12日
查看详情

nullclaw/nullclaw

Zig

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

ai assistant personal
nullclaw
nullclaw 开发者
8k
931
592
+6
排名 #11
8月12日
查看详情

datawhalechina/vibe-vibe

Dockerfile

全民AI学习第一课，首个系统化 Vibe Coding 开源教程 | 零基础到全栈实战，让人人都能借助 AI 实现自己的想法与创意 | 在线地址：www.vibevibe.cn

agent agentic-ai ai
datawhalechina
datawhalechina 开发者
5.9k
477
581
+5
排名 #5
8月12日
查看详情

agda/agda

Haskell

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

agda dependent-types programming-language
agda
agda 开发者
2.9k
421
683
+3
排名 #3
8月12日
查看详情

rocq-prover/rocq

OCaml

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

coq dependent-types proof-assistant
rocq-prover
rocq-prover 开发者
5.6k
749
663
+2
排名 #4
8月12日
查看详情

rjmurillo/ai-agents

Markdown

用于软件开发的多智能体系统

agentic-ai ai-agents ai-assistant
rjmurillo
rjmurillo 开发者
42
13
506
排名 #7
8月12日
查看详情

📊 数据统计

7 个热门项目
2026-08-12 数据日期

🔥 TrendForge - 追踪开源项目热度，发现技术趋势

助手