lean-dojo/LeanCopilot

License & maintenance

MIT is a permissive license: free to use commercially with attribution.

Last code push 6 days ago.

Similar projects

	Repository	Stars	Language	License	Activity
1	huggingface/transformers🤗 Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, f	★ 167.8k	Python	Apache-2.0	Active
2	paperless-ngx/paperless-ngxA community-supported supercharged document management system: scan, index and archive all your documents	★ 46.8k	Python	GPL-3.0	Active
3	ray-project/rayRay is an AI compute engine. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.	★ 44.1k	Python	Apache-2.0	Active
4	ItzCrazyKns/VaneVane is an AI-powered answering engine.	★ 37.4k	TypeScript	MIT	Active
5	liguodongiot/llm-action本项目旨在分享大模型相关技术原理以及实战经验（大模型工程化、大模型应用落地）	★ 25.2k	HTML	Apache-2.0	Active
6	huggingface/datasets🤗 The largest hub of ready-to-use datasets for AI models with fast, easy-to-use and efficient data manipulation tools	★ 22.1k	Python	Apache-2.0	Active
7	affaan-m/ECCThe agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Code	★ 283.1k	JavaScript	MIT	Active
8	firecrawl/firecrawlSupercharge your AI agents with data from the web and beyond. Building the library for superintelligence. 🔥	★ 192.7k	TypeScript	AGPL-3.0	Active