Pseudo-Lab/LeanAgent
GitHub repository with 6 stars and 6 forks.
24h trend summary
Trending score 0.09, freshness score 0.87, stars gained not enough history, forks gained not enough history.
Latest metric snapshot
2026-10-13: 6 stars and 6 forks.
GitHub repository with 6 stars and 6 forks.
Trending score 0.09, freshness score 0.87, stars gained not enough history, forks gained not enough history.
2026-10-13: 6 stars and 6 forks.