Activity, over time
Daily GitHub activity and social mentions.
Mentions
Daily posts linking to this repository
Attention
Daily stars & forks
Star accumulation
Cumulative stars
Pull requests
Daily opens & merges
Conversations
Daily issues & comments
Community
Daily accounts & reviews
Trending history
Daily top 10 · last 90 days · UTC
Mentions
Stars
Forks
Contributors
Latest stargazers
The last 10 distinct accounts we observed this year.
Most active participants
PR, issue, comment & review events in the past year.
Packages
| Package | Version | Downloads · 30d | Trend · 30d |
|---|---|---|---|
| — | — | — |
Live mentions badge
Show how many posts mention your project in the last 30 days.
Live mentions · last 30 days
Mentions
Goal-Driven（目标驱动）是我的一个极其伟大、极其牛逼的发明， lidangzzz/goal-driven 以至于你可以闭着眼，随便用Goal-Driven+claude code，就能设计出极其伟大的产品， 比如微软发明的世界上最伟大的数学证明语言，全世界数学家推式子工具，Lean4，用goal-driven搭建，加上24小时的漫长等待， 轻轻松松，你就可以用TypeScript重新实现一个编译器，from scratch。 lidangzzz/Lean4-ts 这样数学系的同学们就可以轻松糊一个前端lean4编译器，不用下载、配置、在本地再次运行了。 关键是lean4可能是世界上最艰难晦涩的小众语言之一，但同时lean4上面又承载着世界上所有数学家的证明和公式， 而只要用goal-driven，让master agent监督subagent，设置好goal，设置好criteria，你就可以把lean4移植到前端来，完整从头实现一遍。 这就是goal-driven的魔法。