{"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":1299,"forks":126,"topics":["formal-mathematics","lean","lean4","llm","llm-inference","machine-learning","theorem-proving"],"archived":false,"github_pushed_at":"2026-06-20T22:39:50+00:00","maintenance_label":"Active","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":"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"},{"slug":"inference-serving","name":"Inference & Serving","url":"https://www.graphcanon.com/categories/inference-serving","markdown_url":"https://www.graphcanon.com/categories/inference-serving.md","api_url":"https://www.graphcanon.com/api/graphcanon/categories/inference-serving"}],"tags":[{"slug":"lean","name":"lean"},{"slug":"formal-mathematics","name":"formal-mathematics"},{"slug":"llm","name":"llm"},{"slug":"machine-learning","name":"machine-learning"},{"slug":"theorem-proving","name":"theorem-proving"},{"slug":"c","name":"c"},{"slug":"lean4","name":"lean4"},{"slug":"llm-inference","name":"llm-inference"}],"edges":[],"neighbours":[{"slug":"significant-gravitas-autogpt","name":"AutoGPT","tagline":"AutoGPT is the vision of accessible AI for everyone, to use and to build on.","github_url":"https://github.com/Significant-Gravitas/AutoGPT","owner":"Significant-Gravitas","repo":"AutoGPT","owner_avatar_url":"https://avatars.githubusercontent.com/u/130738209?v=4","primary_language":"Python","stars":185464,"forks":46111,"topics":["agentic-ai","agents","ai","artificial-intelligence","autonomous-agents","claude","gpt","llama-api","llm","openai","python"],"archived":false,"github_pushed_at":"2026-07-11T06:14:27+00:00","maintenance_label":"Very active","url":"https://www.graphcanon.com/tools/significant-gravitas-autogpt","markdown_url":"https://www.graphcanon.com/tools/significant-gravitas-autogpt.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/significant-gravitas-autogpt","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=significant-gravitas-autogpt","shared_categories":["llm-frameworks"]},{"slug":"ollama-ollama","name":"ollama","tagline":"Get up and running with Kimi-K2.6, GLM-5.1, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and other models.","github_url":"https://github.com/ollama/ollama","owner":"ollama","repo":"ollama","owner_avatar_url":"https://avatars.githubusercontent.com/u/151674099?v=4","primary_language":"Go","stars":175908,"forks":16929,"topics":["deepseek","gemma","gemma3","glm","go","golang","gpt-oss","llama","llama3","llm","llms","minimax","mistral","ollama","qwen"],"archived":false,"github_pushed_at":"2026-07-10T00:42:15+00:00","maintenance_label":"Very active","url":"https://www.graphcanon.com/tools/ollama-ollama","markdown_url":"https://www.graphcanon.com/tools/ollama-ollama.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/ollama-ollama","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=ollama-ollama","shared_categories":["inference-serving"]},{"slug":"f-prompts-chat","name":"prompts.chat","tagline":"Share, discover, and collect prompts from the community","github_url":"https://github.com/f/prompts.chat","owner":"f","repo":"prompts.chat","owner_avatar_url":"https://avatars.githubusercontent.com/u/196477?v=4","primary_language":"HTML","stars":165372,"forks":21400,"topics":["ai","artificial-intelligence","awesome-list","chatgpt","chatgpt-prompts","claude","gemini","gpt","gpt-4","llm","machine-learning","nextjs","open-source","openai","prompt-engineering","prompts","prompts-chat","typescript"],"archived":false,"github_pushed_at":"2026-07-11T04:05:09+00:00","maintenance_label":"Very active","url":"https://www.graphcanon.com/tools/f-prompts-chat","markdown_url":"https://www.graphcanon.com/tools/f-prompts-chat.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/f-prompts-chat","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=f-prompts-chat","shared_categories":["llm-frameworks"]},{"slug":"huggingface-transformers","name":"transformers","tagline":"Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models","github_url":"https://github.com/huggingface/transformers","owner":"huggingface","repo":"transformers","owner_avatar_url":"https://avatars.githubusercontent.com/u/25720743?v=4","primary_language":"Python","stars":162482,"forks":33865,"topics":["audio","deep-learning","deepseek","gemma","glm","hacktoberfest","llm","machine-learning","model-hub","natural-language-processing","nlp","pretrained-models","python","pytorch","pytorch-transformers","qwen","speech-recognition","transformer","vlm"],"archived":false,"github_pushed_at":"2026-07-11T09:59:36+00:00","maintenance_label":"Very active","url":"https://www.graphcanon.com/tools/huggingface-transformers","markdown_url":"https://www.graphcanon.com/tools/huggingface-transformers.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/huggingface-transformers","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=huggingface-transformers","shared_categories":["llm-frameworks","inference-serving"]},{"slug":"langflow-ai-langflow","name":"langflow","tagline":"Powerful tool for building and deploying AI-powered agents and workflows","github_url":"https://github.com/langflow-ai/langflow","owner":"langflow-ai","repo":"langflow","owner_avatar_url":"https://avatars.githubusercontent.com/u/85702467?v=4","primary_language":"Python","stars":151628,"forks":9654,"topics":["agents","chatgpt","generative-ai","large-language-models","multiagent","react-flow"],"archived":false,"github_pushed_at":"2026-07-11T00:59:57+00:00","maintenance_label":"Very active","url":"https://www.graphcanon.com/tools/langflow-ai-langflow","markdown_url":"https://www.graphcanon.com/tools/langflow-ai-langflow.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/langflow-ai-langflow","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=langflow-ai-langflow","shared_categories":["inference-serving"]},{"slug":"open-webui-open-webui","name":"open-webui","tagline":"User-friendly AI Interface (Supports Ollama, OpenAI API, ...)","github_url":"https://github.com/open-webui/open-webui","owner":"open-webui","repo":"open-webui","owner_avatar_url":"https://avatars.githubusercontent.com/u/158137808?v=4","primary_language":"Python","stars":145029,"forks":21005,"topics":["ai","llm","llm-ui","llm-webui","llms","mcp","ollama","ollama-webui","open-webui","openai","openapi","rag","self-hosted","ui","webui"],"archived":false,"github_pushed_at":"2026-07-10T23:32:22+00:00","maintenance_label":"Very active","url":"https://www.graphcanon.com/tools/open-webui-open-webui","markdown_url":"https://www.graphcanon.com/tools/open-webui-open-webui.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/open-webui-open-webui","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=open-webui-open-webui","shared_categories":["llm-frameworks","inference-serving"]},{"slug":"langchain-ai-langchain","name":"langchain","tagline":"The agent engineering platform.","github_url":"https://github.com/langchain-ai/langchain","owner":"langchain-ai","repo":"langchain","owner_avatar_url":"https://avatars.githubusercontent.com/u/126733545?v=4","primary_language":"Python","stars":141504,"forks":23516,"topics":["agents","ai","ai-agents","anthropic","chatgpt","deepagents","enterprise","framework","gemini","generative-ai","langchain","langgraph","llm","multiagent","open-source","openai","pydantic","python","rag","typescript"],"archived":false,"github_pushed_at":"2026-07-11T08:34:17+00:00","maintenance_label":"Very active","url":"https://www.graphcanon.com/tools/langchain-ai-langchain","markdown_url":"https://www.graphcanon.com/tools/langchain-ai-langchain.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/langchain-ai-langchain","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=langchain-ai-langchain","shared_categories":["llm-frameworks"]},{"slug":"ggml-org-llama-cpp","name":"llama.cpp","tagline":"LLM inference in C/C++","github_url":"https://github.com/ggml-org/llama.cpp","owner":"ggml-org","repo":"llama.cpp","owner_avatar_url":"https://avatars.githubusercontent.com/u/134263123?v=4","primary_language":"C++","stars":120002,"forks":20446,"topics":["ggml"],"archived":false,"github_pushed_at":"2026-07-11T09:39:07+00:00","maintenance_label":"Very active","url":"https://www.graphcanon.com/tools/ggml-org-llama-cpp","markdown_url":"https://www.graphcanon.com/tools/ggml-org-llama-cpp.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/ggml-org-llama-cpp","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=ggml-org-llama-cpp","shared_categories":["inference-serving"]},{"slug":"microsoft-generative-ai-for-beginners","name":"generative-ai-for-beginners","tagline":"21 Lessons, Get Started Building with Generative AI","github_url":"https://github.com/microsoft/generative-ai-for-beginners","owner":"microsoft","repo":"generative-ai-for-beginners","owner_avatar_url":"https://avatars.githubusercontent.com/u/6154722?v=4","primary_language":"Jupyter Notebook","stars":112866,"forks":60628,"topics":["ai","azure","chatgpt","dall-e","generative-ai","generativeai","gpt","language-model","llms","microsoft-for-beginners","openai","prompt-engineering","semantic-search","transformers"],"archived":false,"github_pushed_at":"2026-07-09T03:44:14+00:00","maintenance_label":"Very active","url":"https://www.graphcanon.com/tools/microsoft-generative-ai-for-beginners","markdown_url":"https://www.graphcanon.com/tools/microsoft-generative-ai-for-beginners.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/microsoft-generative-ai-for-beginners","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=microsoft-generative-ai-for-beginners","shared_categories":["llm-frameworks"]},{"slug":"deepseek-ai-deepseek-v3","name":"DeepSeek-V3","tagline":"Repository lacking description with unspecified content related to AI development.","github_url":"https://github.com/deepseek-ai/DeepSeek-V3","owner":"deepseek-ai","repo":"DeepSeek-V3","owner_avatar_url":"https://avatars.githubusercontent.com/u/148330874?v=4","primary_language":"Python","stars":103894,"forks":16732,"topics":[],"archived":false,"github_pushed_at":"2025-08-28T03:24:37+00:00","maintenance_label":"Slowing","url":"https://www.graphcanon.com/tools/deepseek-ai-deepseek-v3","markdown_url":"https://www.graphcanon.com/tools/deepseek-ai-deepseek-v3.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/deepseek-ai-deepseek-v3","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=deepseek-ai-deepseek-v3","shared_categories":["inference-serving"]},{"slug":"rasbt-llms-from-scratch","name":"LLMs-from-scratch","tagline":"Implement a ChatGPT-like LLM in PyTorch from scratch, step by step","github_url":"https://github.com/rasbt/LLMs-from-scratch","owner":"rasbt","repo":"LLMs-from-scratch","owner_avatar_url":"https://avatars.githubusercontent.com/u/5618407?v=4","primary_language":"Jupyter Notebook","stars":98899,"forks":15183,"topics":["ai","artificial-intelligence","attention-mechanism","deep-learning","finetuning","from-scratch","generative-ai","gpt","instruction-tuning","language-model","large-language-models","llm","machine-learning","natural-language-processing","pretraining","python","pytorch","tokenizer","transformers"],"archived":false,"github_pushed_at":"2026-06-02T14:14:19+00:00","maintenance_label":"Steady","url":"https://www.graphcanon.com/tools/rasbt-llms-from-scratch","markdown_url":"https://www.graphcanon.com/tools/rasbt-llms-from-scratch.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/rasbt-llms-from-scratch","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=rasbt-llms-from-scratch","shared_categories":["llm-frameworks"]},{"slug":"tauricresearch-tradingagents","name":"TradingAgents","tagline":"Multi-Agents LLM Financial Trading Framework","github_url":"https://github.com/TauricResearch/TradingAgents","owner":"TauricResearch","repo":"TradingAgents","owner_avatar_url":"https://avatars.githubusercontent.com/u/192884433?v=4","primary_language":"Python","stars":92290,"forks":17836,"topics":["agent","finance","llm","multiagent","trading"],"archived":false,"github_pushed_at":"2026-07-05T14:32:24+00:00","maintenance_label":"Very active","url":"https://www.graphcanon.com/tools/tauricresearch-tradingagents","markdown_url":"https://www.graphcanon.com/tools/tauricresearch-tradingagents.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/tauricresearch-tradingagents","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=tauricresearch-tradingagents","shared_categories":["llm-frameworks"]}]}}