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

2026-08-14
🏷️

#assistant 每日趋势报告

📅 2026-08-14
📊 7 个项目

🔥 #assistant 每日热门项目

pacifio/atlas

代理商的源头控制。使用多个编码代理,跟踪它们的更改,并在一处查询它们

965
177
85
+311
排名 #18
8月14日
查看详情

can1357/oh-my-pi

⌥ 终端AI编程代理——基于哈希锚定的编辑、优化的工具集、LSP、Python、浏览器、子代理等

24k
2.4k
765
+291
排名 #12
8月14日
查看详情

datawhalechina/vibe-vibe

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

5.9k
476
603
+8
排名 #12
8月14日
查看详情

github/CopilotForXcode

GitHub Copilot的Xcode扩展

6.3k
2k
821
+4
排名 #12
8月14日
查看详情

nullclaw/nullclaw

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

8k
933
618
+3
排名 #9
8月14日
查看详情

agda/agda

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

2.9k
421
702
+1
排名 #6
8月14日
查看详情

rocq-prover/rocq

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

5.6k
750
692
+1
排名 #6
8月14日
查看详情

📊 数据统计

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

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

助手