- Stars
- 1
- Forks
- 0
- + today
- +1
- Created
- —
Ranking data as of October 1, 2026 (UTC).
Overview
Pseudo-Lab/LeanAgent — trending on GitHub. It ranks #1859 on GitTiger, gaining +1 star on October 1, 2026 (UTC).
Installation
git clone https://github.com/Pseudo-Lab/LeanAgent.git
cd LeanAgent
# see README for setup