lean-dojo/LeanDojoWebsite
Code for LeanDojo's website
37
/ 100
Emerging
No Package
No Dependents
Maintenance
10 / 25
Adoption
4 / 25
Maturity
9 / 25
Community
14 / 25
Stars
8
Forks
3
Language
HTML
License
MIT
Category
Last pushed
Feb 28, 2026
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/llm-tools/lean-dojo/LeanDojoWebsite"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Featured in
Compare
Higher-rated alternatives
open-compass/opencompass
OpenCompass is an LLM evaluation platform, supporting a wide range of models (Llama3, Mistral,...
76
IBM/unitxt
🦄 Unitxt is a Python library for enterprise-grade evaluation of AI performance, offering the...
69
lean-dojo/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
57
GoodStartLabs/AI_Diplomacy
Frontier Models playing the board game Diplomacy.
56
MigoXLab/LMeterX
A general-purpose API load testing platform that supports LLM services and business HTTP...
50