{"data":{"node":{"slug":"loganrjmurphy-leaneuclid","name":"LeanEuclid","tagline":"Benchmark for autoformalization in Euclidean geometry targeting Lean proof assistant.","github_url":"https://github.com/loganrjmurphy/LeanEuclid","owner":"loganrjmurphy","repo":"LeanEuclid","owner_avatar_url":"https://avatars.githubusercontent.com/u/35403042?v=4","primary_language":"Lean","stars":139,"forks":17,"topics":["autoformalization","euclidean-geometry","formalization","lean4","llm-evaluation","theorem-proving"],"archived":false,"github_pushed_at":"2025-11-25T23:43:05+00:00","maintenance_label":"Slowing","url":"https://www.graphcanon.com/tools/loganrjmurphy-leaneuclid","markdown_url":"https://www.graphcanon.com/tools/loganrjmurphy-leaneuclid.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/loganrjmurphy-leaneuclid","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=loganrjmurphy-leaneuclid"},"categories":[{"slug":"evaluation-observability","name":"Evaluation & Observability","url":"https://www.graphcanon.com/categories/evaluation-observability","markdown_url":"https://www.graphcanon.com/categories/evaluation-observability.md","api_url":"https://www.graphcanon.com/api/graphcanon/categories/evaluation-observability"}],"tags":[{"slug":"autoformalization","name":"autoformalization"},{"slug":"euclidean-geometry","name":"euclidean-geometry"},{"slug":"formalization","name":"formalization"},{"slug":"lean4","name":"lean4"},{"slug":"llm-evaluation","name":"llm-evaluation"},{"slug":"theorem-proving","name":"theorem-proving"}],"edges":[],"neighbours":[{"slug":"microsoft-generative-ai-for-beginners","name":"generative-ai-for-beginners","tagline":"21 Lessons for Getting Started 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":113577,"forks":60972,"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-23T03:43:21+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":["evaluation-observability"]},{"slug":"mlabonne-llm-course","name":"llm-course","tagline":"Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.","github_url":"https://github.com/mlabonne/llm-course","owner":"mlabonne","repo":"llm-course","owner_avatar_url":"https://avatars.githubusercontent.com/u/81252890?v=4","primary_language":null,"stars":81512,"forks":9490,"topics":["course","large-language-models","llm","machine-learning","roadmap"],"archived":false,"github_pushed_at":"2026-02-05T13:09:26+00:00","maintenance_label":"Slowing","stars_delta_30d":771,"url":"https://www.graphcanon.com/tools/mlabonne-llm-course","markdown_url":"https://www.graphcanon.com/tools/mlabonne-llm-course.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/mlabonne-llm-course","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=mlabonne-llm-course","shared_categories":["evaluation-observability"]},{"slug":"netdata-netdata","name":"netdata","tagline":"The fastest path to AI-powered full stack observability for lean teams","github_url":"https://github.com/netdata/netdata","owner":"netdata","repo":"netdata","owner_avatar_url":"https://avatars.githubusercontent.com/u/43390781?v=4","primary_language":"Go","stars":80292,"forks":6601,"topics":["ai","alerting","cncf","data-visualization","database","devops","docker","grafana","influxdb","kubernetes","linux","machine-learning","mcp","mongodb","monitoring","mysql","netdata","observability","postgresql","prometheus"],"archived":false,"github_pushed_at":"2026-08-25T15:40:43+00:00","maintenance_label":"Very active","stars_delta_30d":448,"url":"https://www.graphcanon.com/tools/netdata-netdata","markdown_url":"https://www.graphcanon.com/tools/netdata-netdata.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/netdata-netdata","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=netdata-netdata","shared_categories":["evaluation-observability"]},{"slug":"headroomlabs-ai-headroom","name":"headroom","tagline":"Compress tool outputs and data to reduce tokens before reaching the LLM.","github_url":"https://github.com/headroomlabs-ai/headroom","owner":"headroomlabs-ai","repo":"headroom","owner_avatar_url":"https://avatars.githubusercontent.com/u/294291659?v=4","primary_language":"Python","stars":66470,"forks":5103,"topics":["agent","ai","anthropic","claude-code","compression","context-engineering","context-window","cursor","fastapi","langchain","llm","mcp","openai","prompt-engineering","proxy","python","rag","token-optimization","tokens","typescript"],"archived":false,"github_pushed_at":"2026-08-16T00:57:42+00:00","maintenance_label":"Very active","stars_delta_30d":6941,"url":"https://www.graphcanon.com/tools/headroomlabs-ai-headroom","markdown_url":"https://www.graphcanon.com/tools/headroomlabs-ai-headroom.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/headroomlabs-ai-headroom","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=headroomlabs-ai-headroom","shared_categories":["evaluation-observability"]},{"slug":"sansan0-trendradar","name":"TrendRadar","tagline":"AI-driven public opinion & trend monitor with multi-platform aggregation, RSS, and smart alerts.","github_url":"https://github.com/sansan0/TrendRadar","owner":"sansan0","repo":"TrendRadar","owner_avatar_url":"https://avatars.githubusercontent.com/u/77180927?v=4","primary_language":"Python","stars":61487,"forks":24870,"topics":["ai","bark","data-analysis","docker","hot-news","llm","mail","mcp","mcp-server","news","ntfy","python","rss","trending-topics","wechat","wework"],"archived":false,"github_pushed_at":"2026-07-17T13:54:28+00:00","maintenance_label":"Active","stars_delta_30d":875,"url":"https://www.graphcanon.com/tools/sansan0-trendradar","markdown_url":"https://www.graphcanon.com/tools/sansan0-trendradar.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/sansan0-trendradar","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=sansan0-trendradar","shared_categories":["evaluation-observability"]},{"slug":"elder-plinius-cl4r1t4s","name":"CL4R1T4S","tagline":"Leaked system prompts for various AI agents include ChatGPT, Claude, Gemini among others emphasizing transparency and access.","github_url":"https://github.com/elder-plinius/CL4R1T4S","owner":"elder-plinius","repo":"CL4R1T4S","owner_avatar_url":"https://avatars.githubusercontent.com/u/133052465?v=4","primary_language":null,"stars":46435,"forks":9474,"topics":["agents","ai","chatgpt","gemini","google","grok","hacking","leak","leaked","openai","prompt","prompt-engineering","prompts","red-team","red-teaming","system","system-info","system-prompts","tools","transparency"],"archived":false,"github_pushed_at":"2026-07-24T22:18:48+00:00","maintenance_label":"Very active","url":"https://www.graphcanon.com/tools/elder-plinius-cl4r1t4s","markdown_url":"https://www.graphcanon.com/tools/elder-plinius-cl4r1t4s.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/elder-plinius-cl4r1t4s","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=elder-plinius-cl4r1t4s","shared_categories":["evaluation-observability"]},{"slug":"danny-avila-librechat","name":"LibreChat","tagline":"Enhanced ChatGPT Clone with extensive features and integrations for self-hosting","github_url":"https://github.com/danny-avila/LibreChat","owner":"danny-avila","repo":"LibreChat","owner_avatar_url":"https://avatars.githubusercontent.com/u/110412045?v=4","primary_language":"TypeScript","stars":42443,"forks":8804,"topics":["ai","anthropic","artifacts","aws","azure","chatgpt","chatgpt-clone","claude","clone","deepseek","gemini","google","gpt-5","librechat","mcp","o1","openai","responses-api","vision","webui"],"archived":false,"github_pushed_at":"2026-08-25T17:49:00+00:00","maintenance_label":"Very active","stars_delta_30d":1161,"url":"https://www.graphcanon.com/tools/danny-avila-librechat","markdown_url":"https://www.graphcanon.com/tools/danny-avila-librechat.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/danny-avila-librechat","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=danny-avila-librechat","shared_categories":["evaluation-observability"]},{"slug":"imbad0202-academic-research-skills","name":"academic-research-skills","tagline":"Workflow for academic research and writing with AI tools","github_url":"https://github.com/Imbad0202/academic-research-skills","owner":"Imbad0202","repo":"academic-research-skills","owner_avatar_url":"https://avatars.githubusercontent.com/u/132531341?v=4","primary_language":"Python","stars":39776,"forks":3188,"topics":["academic-pipeline","academic-writing","ai-research","claude","claude-code","literature-review","peer-review","prompt-engineering"],"archived":false,"github_pushed_at":"2026-07-27T17:55:34+00:00","maintenance_label":"Very active","url":"https://www.graphcanon.com/tools/imbad0202-academic-research-skills","markdown_url":"https://www.graphcanon.com/tools/imbad0202-academic-research-skills.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/imbad0202-academic-research-skills","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=imbad0202-academic-research-skills","shared_categories":["evaluation-observability"]},{"slug":"lm-sys-fastchat","name":"FastChat","tagline":"An open platform for training, serving, and evaluating large language models","github_url":"https://github.com/lm-sys/FastChat","owner":"lm-sys","repo":"FastChat","owner_avatar_url":"https://avatars.githubusercontent.com/u/126381704?v=4","primary_language":"Python","stars":39517,"forks":4788,"topics":[],"archived":false,"github_pushed_at":"2026-05-01T00:25:53+00:00","maintenance_label":"Slowing","url":"https://www.graphcanon.com/tools/lm-sys-fastchat","markdown_url":"https://www.graphcanon.com/tools/lm-sys-fastchat.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/lm-sys-fastchat","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=lm-sys-fastchat","shared_categories":["evaluation-observability"]},{"slug":"linshenkx-prompt-optimizer","name":"prompt-optimizer","tagline":"An AI prompt optimizer for writing better prompts and getting better AI results.","github_url":"https://github.com/linshenkx/prompt-optimizer","owner":"linshenkx","repo":"prompt-optimizer","owner_avatar_url":"https://avatars.githubusercontent.com/u/32978552?v=4","primary_language":"TypeScript","stars":33144,"forks":3890,"topics":["ai-prompts","ai-tools","llm","prompt","prompt-engineering","prompt-optimization","prompt-optimizer","prompt-testing","prompt-toolkit","prompt-tuning"],"archived":false,"github_pushed_at":"2026-08-13T14:23:12+00:00","maintenance_label":"Very active","stars_delta_30d":885,"url":"https://www.graphcanon.com/tools/linshenkx-prompt-optimizer","markdown_url":"https://www.graphcanon.com/tools/linshenkx-prompt-optimizer.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/linshenkx-prompt-optimizer","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=linshenkx-prompt-optimizer","shared_categories":["evaluation-observability"]},{"slug":"langfuse-langfuse","name":"langfuse","tagline":"Open source AI engineering platform: LLM evals, observability, metrics, prompt management, playground, datasets","github_url":"https://github.com/langfuse/langfuse","owner":"langfuse","repo":"langfuse","owner_avatar_url":"https://avatars.githubusercontent.com/u/134601687?v=4","primary_language":"TypeScript","stars":32271,"forks":3466,"topics":["analytics","autogen","evaluation","langchain","large-language-models","llama-index","llm","llm-evaluation","llm-observability","llmops","monitoring","observability","open-source","openai","playground","prompt-engineering","prompt-management","self-hosted","ycombinator"],"archived":false,"github_pushed_at":"2026-07-31T22:58:07+00:00","maintenance_label":"Very active","url":"https://www.graphcanon.com/tools/langfuse-langfuse","markdown_url":"https://www.graphcanon.com/tools/langfuse-langfuse.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/langfuse-langfuse","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=langfuse-langfuse","shared_categories":["evaluation-observability"]},{"slug":"gitleaks-gitleaks","name":"gitleaks","tagline":"Find secrets with Gitleaks 🔑","github_url":"https://github.com/gitleaks/gitleaks","owner":"gitleaks","repo":"gitleaks","owner_avatar_url":"https://avatars.githubusercontent.com/u/90395851?v=4","primary_language":"Go","stars":28753,"forks":2191,"topics":["ai-powered","ci-cd","cicd","cli","data-loss-prevention","devsecops","dlp","git","gitleaks","go","golang","hacktoberfest","llm","llm-inference","llm-training","nhi","open-source","secret","security","security-tools"],"archived":false,"github_pushed_at":"2026-07-29T04:13:17+00:00","maintenance_label":"Active","stars_delta_30d":576,"url":"https://www.graphcanon.com/tools/gitleaks-gitleaks","markdown_url":"https://www.graphcanon.com/tools/gitleaks-gitleaks.md","api_url":"https://www.graphcanon.com/api/graphcanon/tools/gitleaks-gitleaks","graph_url":"https://www.graphcanon.com/api/graphcanon/graph?tool=gitleaks-gitleaks","shared_categories":["evaluation-observability"]}]}}