{"data":{"node":{"slug":"lean-dojo-leancopilot","name":"LeanCopilot","tagline":"LLMs as Copilots for Theorem Proving in Lean","github_url":"https://github.com/lean-dojo/LeanCopilot","owner":"lean-dojo","repo":"LeanCopilot","owner_avatar_url":"https://avatars.githubusercontent.com/u/136513911?v=4","primary_language":"C++","stars":1314,"forks":127,"topics":["formal-mathematics","lean","lean4","llm","llm-inference","machine-learning","theorem-proving"],"archived":false,"github_pushed_at":"2026-08-22T02:14:29+00:00","maintenance_label":"Very active","stars_delta_30d":11,"url":"https://www.graphcanon.com/tools/lean-dojo-leancopilot","markdown_url":"https://www.graphcanon.com/tools/lean-dojo-leancopilot.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/lean-dojo-leancopilot","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=lean-dojo-leancopilot"},"categories":[{"slug":"ai-agents","name":"AI Agents","url":"https://www.graphcanon.com/categories/ai-agents","markdown_url":"https://www.graphcanon.com/categories/ai-agents.md","api_url":"https://www.graphcanon.com/api/graphcanon/categories/ai-agents"},{"slug":"llm-frameworks","name":"LLM Frameworks","url":"https://www.graphcanon.com/categories/llm-frameworks","markdown_url":"https://www.graphcanon.com/categories/llm-frameworks.md","api_url":"https://www.graphcanon.com/api/graphcanon/categories/llm-frameworks"}],"tags":[{"slug":"formal-mathematics","name":"formal-mathematics"},{"slug":"lean","name":"lean"},{"slug":"lean4","name":"lean4"},{"slug":"llm","name":"llm"},{"slug":"llm-inference","name":"llm-inference"},{"slug":"machine-learning","name":"machine-learning"},{"slug":"theorem-proving","name":"theorem-proving"}],"edges":[],"neighbours":[{"slug":"wangrongsheng-awesome-llm-resources","name":"awesome-LLM-resources","tagline":"Summary of the world's best LLM resources.","github_url":"https://github.com/WangRongsheng/awesome-LLM-resources","owner":"WangRongsheng","repo":"awesome-LLM-resources","owner_avatar_url":"https://avatars.githubusercontent.com/u/55651568?v=4","primary_language":null,"stars":8845,"forks":950,"topics":["awesome-list","book","course","large-language-models","llama","llm","mistral","openai","qwen","rag","retrieval-augmented-generation","webui"],"archived":false,"github_pushed_at":"2026-08-14T15:54:28+00:00","maintenance_label":"Active","url":"https://www.graphcanon.com/tools/wangrongsheng-awesome-llm-resources","markdown_url":"https://www.graphcanon.com/tools/wangrongsheng-awesome-llm-resources.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/wangrongsheng-awesome-llm-resources","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=wangrongsheng-awesome-llm-resources","shared_categories":["ai-agents","llm-frameworks"]},{"slug":"openbmb-xagent","name":"XAgent","tagline":"An Autonomous LLM Agent for Complex Task Solving","github_url":"https://github.com/OpenBMB/XAgent","owner":"OpenBMB","repo":"XAgent","owner_avatar_url":"https://avatars.githubusercontent.com/u/89920203?v=4","primary_language":"Python","stars":8534,"forks":904,"topics":[],"archived":false,"github_pushed_at":"2026-07-31T03:30:54+00:00","maintenance_label":"Active","url":"https://www.graphcanon.com/tools/openbmb-xagent","markdown_url":"https://www.graphcanon.com/tools/openbmb-xagent.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/openbmb-xagent","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=openbmb-xagent","shared_categories":["ai-agents"]},{"slug":"woooodyy-llm-agent-paper-list","name":"LLM-Agent-Paper-List","tagline":"Must-read papers for LLM-based agents.","github_url":"https://github.com/WooooDyy/LLM-Agent-Paper-List","owner":"WooooDyy","repo":"LLM-Agent-Paper-List","owner_avatar_url":"https://avatars.githubusercontent.com/u/48242229?v=4","primary_language":null,"stars":8172,"forks":495,"topics":["agent","large-language-models","llm","nlp","survey"],"archived":false,"github_pushed_at":"2025-09-12T03:08:58+00:00","maintenance_label":"Slowing","url":"https://www.graphcanon.com/tools/woooodyy-llm-agent-paper-list","markdown_url":"https://www.graphcanon.com/tools/woooodyy-llm-agent-paper-list.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/woooodyy-llm-agent-paper-list","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=woooodyy-llm-agent-paper-list","shared_categories":["ai-agents"]},{"slug":"swe-bench-swe-bench","name":"SWE-bench","tagline":"Benchmark for assessing language models' capability to resolve real-world Github issues","github_url":"https://github.com/SWE-bench/SWE-bench","owner":"SWE-bench","repo":"SWE-bench","owner_avatar_url":"https://avatars.githubusercontent.com/u/139597579?v=4","primary_language":"Python","stars":5576,"forks":930,"topics":["benchmark","language-model","software-engineering"],"archived":false,"github_pushed_at":"2026-07-27T05:34:27+00:00","maintenance_label":"Steady","url":"https://www.graphcanon.com/tools/swe-bench-swe-bench","markdown_url":"https://www.graphcanon.com/tools/swe-bench-swe-bench.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/swe-bench-swe-bench","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=swe-bench-swe-bench","shared_categories":[]},{"slug":"eth-sri-lmql","name":"lmql","tagline":"A language for constraint-guided and efficient LLM programming.","github_url":"https://github.com/eth-sri/lmql","owner":"eth-sri","repo":"lmql","owner_avatar_url":"https://avatars.githubusercontent.com/u/5363413?v=4","primary_language":"Python","stars":4203,"forks":221,"topics":["chatgpt","huggingface","language-model","programming-language"],"archived":false,"github_pushed_at":"2025-05-22T07:32:31+00:00","maintenance_label":"Dormant","url":"https://www.graphcanon.com/tools/eth-sri-lmql","markdown_url":"https://www.graphcanon.com/tools/eth-sri-lmql.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/eth-sri-lmql","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=eth-sri-lmql","shared_categories":["llm-frameworks"]},{"slug":"lazyagi-lazyllm","name":"LazyLLM","tagline":"Easiest and laziest way for building multi-agent LLMs applications.","github_url":"https://github.com/LazyAGI/LazyLLM","owner":"LazyAGI","repo":"LazyLLM","owner_avatar_url":"https://avatars.githubusercontent.com/u/171651681?v=4","primary_language":"Python","stars":3866,"forks":404,"topics":["agents","ai-agent","data","deep-learning","documentation-tool","finetuning","framework","knowlege-graph","langchain","lazyllm","llamaindex","llm","llms","rag"],"archived":false,"github_pushed_at":"2026-08-07T03:03:46+00:00","maintenance_label":"Active","url":"https://www.graphcanon.com/tools/lazyagi-lazyllm","markdown_url":"https://www.graphcanon.com/tools/lazyagi-lazyllm.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/lazyagi-lazyllm","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=lazyagi-lazyllm","shared_categories":["ai-agents"]},{"slug":"code-yeongyu-lazycodex","name":"lazycodex","tagline":"Agent harness for complex codebases with project memory and execution planning","github_url":"https://github.com/code-yeongyu/lazycodex","owner":"code-yeongyu","repo":"lazycodex","owner_avatar_url":"https://avatars.githubusercontent.com/u/11153873?v=4","primary_language":"TypeScript","stars":3189,"forks":198,"topics":["ai","ai-agents","claude","claude-code","cli","codex","developer-tools","lazy","lazycodex","oh-my-openagent","omo","openai","orchestration","typescript"],"archived":false,"github_pushed_at":"2026-08-09T08:51:31+00:00","maintenance_label":"Active","url":"https://www.graphcanon.com/tools/code-yeongyu-lazycodex","markdown_url":"https://www.graphcanon.com/tools/code-yeongyu-lazycodex.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/code-yeongyu-lazycodex","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=code-yeongyu-lazycodex","shared_categories":["ai-agents"]},{"slug":"leonxlnx-agentic-ai-prompt-research","name":"agentic-ai-prompt-research","tagline":"Research into agentic AI coding assistants focusing on prompt patterns and security","github_url":"https://github.com/Leonxlnx/agentic-ai-prompt-research","owner":"Leonxlnx","repo":"agentic-ai-prompt-research","owner_avatar_url":"https://avatars.githubusercontent.com/u/219127460?v=4","primary_language":null,"stars":2498,"forks":1069,"topics":["agentic-ai","ai-research","claude","prompt-engineering","system-prompts"],"archived":false,"github_pushed_at":"2026-03-31T19:04:33+00:00","maintenance_label":"Slowing","url":"https://www.graphcanon.com/tools/leonxlnx-agentic-ai-prompt-research","markdown_url":"https://www.graphcanon.com/tools/leonxlnx-agentic-ai-prompt-research.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/leonxlnx-agentic-ai-prompt-research","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=leonxlnx-agentic-ai-prompt-research","shared_categories":["ai-agents"]},{"slug":"evalplus-evalplus","name":"evalplus","tagline":"Rigorous evaluation of LLM-synthesized code","github_url":"https://github.com/evalplus/evalplus","owner":"evalplus","repo":"evalplus","owner_avatar_url":"https://avatars.githubusercontent.com/u/132106461?v=4","primary_language":"Python","stars":1794,"forks":205,"topics":["benchmark","chatgpt","efficiency","gpt-4","large-language-models","program-synthesis","testing"],"archived":false,"github_pushed_at":"2025-10-02T22:56:38+00:00","maintenance_label":"Slowing","url":"https://www.graphcanon.com/tools/evalplus-evalplus","markdown_url":"https://www.graphcanon.com/tools/evalplus-evalplus.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/evalplus-evalplus","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=evalplus-evalplus","shared_categories":[]},{"slug":"benman1-generative-ai-with-langchain","name":"generative_ai_with_langchain","tagline":"Build production-ready LLM applications and advanced agents using Python, LangChain, and LangGraph","github_url":"https://github.com/benman1/generative_ai_with_langchain","owner":"benman1","repo":"generative_ai_with_langchain","owner_avatar_url":"https://avatars.githubusercontent.com/u/10786684?v=4","primary_language":"Jupyter Notebook","stars":1400,"forks":582,"topics":["agent","chatgpt","claude","claude-3-5-sonnet","deepseek","deepseek-r1","gpt","gpt-4o","huggingface","langchain","langgraph","llamacpp","llms","ollama","openai"],"archived":false,"github_pushed_at":"2026-08-05T12:50:30+00:00","maintenance_label":"Active","url":"https://www.graphcanon.com/tools/benman1-generative-ai-with-langchain","markdown_url":"https://www.graphcanon.com/tools/benman1-generative-ai-with-langchain.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/benman1-generative-ai-with-langchain","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=benman1-generative-ai-with-langchain","shared_categories":["ai-agents","llm-frameworks"]},{"slug":"bigcode-project-bigcode-evaluation-harness","name":"bigcode-evaluation-harness","tagline":"A framework for evaluating autoregressive code generation language models.","github_url":"https://github.com/bigcode-project/bigcode-evaluation-harness","owner":"bigcode-project","repo":"bigcode-evaluation-harness","owner_avatar_url":"https://avatars.githubusercontent.com/u/110470554?v=4","primary_language":"Python","stars":1055,"forks":261,"topics":[],"archived":false,"github_pushed_at":"2025-07-22T13:18:09+00:00","maintenance_label":"Dormant","url":"https://www.graphcanon.com/tools/bigcode-project-bigcode-evaluation-harness","markdown_url":"https://www.graphcanon.com/tools/bigcode-project-bigcode-evaluation-harness.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/bigcode-project-bigcode-evaluation-harness","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=bigcode-project-bigcode-evaluation-harness","shared_categories":[]},{"slug":"livecodebench-livecodebench","name":"LiveCodeBench","tagline":"Holistic and contamination-free evaluation of large language models for code","github_url":"https://github.com/LiveCodeBench/LiveCodeBench","owner":"LiveCodeBench","repo":"LiveCodeBench","owner_avatar_url":"https://avatars.githubusercontent.com/u/161278213?v=4","primary_language":"Python","stars":925,"forks":195,"topics":["code-execution","code-generation","code-llms","code-repair","gpt-4","test-generation"],"archived":false,"github_pushed_at":"2025-07-16T00:58:38+00:00","maintenance_label":"Dormant","url":"https://www.graphcanon.com/tools/livecodebench-livecodebench","markdown_url":"https://www.graphcanon.com/tools/livecodebench-livecodebench.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/livecodebench-livecodebench","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=livecodebench-livecodebench","shared_categories":[]}]}}