AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.
GitHub repository with 132 stars and 24 forks.
Language: Python
Topics: ai-agents, automation, claude, claude-code, codex, dag, formal-methods, lean, lean4, mathematics
Trending score 0.10, freshness score 0.96, stars gained not enough history, forks gained not enough history.
2026-06-15: 132 stars and 24 forks.
The agent that grows with you
GitHub repository with 194,098 stars and 33,987 forks.
Trending score: 5.92; stars gained: +753; forks gained: +209.
Language: Python
Topics: ai, ai-agent, ai-agents, anthropic, chatgpt, claude
Learn it. Build it. Ship it for others.
GitHub repository with 32,676 stars and 5,366 forks.
Trending score: 5.59; stars gained: +762; forks gained: +135.
Language: Python
Topics: agents, ai, ai-agents, ai-engineering, computer-vision, course
Stealth Chromium that passes every bot detection test. Drop-in Playwright replacement with source-level fingerprint patches. 30/30 tests passed.
GitHub repository with 26,140 stars and 2,068 forks.
Trending score: 5.28; stars gained: +897; forks gained: +60.
Language: Python
Topics: anti-detect, bot-detection, browser-automation, chromium, cloudflare, fingerprint
🌐 Make websites accessible for AI agents. Automate tasks online with ease.
GitHub repository with 98,882 stars and 11,040 forks.
Trending score: 4.55; stars gained: +186; forks gained: +27.
Language: Python
Topics: ai-agents, ai-tools, browser-automation, browser-use, llm, playwright
Modular SenseNova skills for building AI-powered office assistants and productivity workflows
GitHub repository with 4,495 stars and 303 forks.
Trending score: 4.55; stars gained: +244; forks gained: +13.
Language: Python
Topics: agent, agent-skills, ai-agents, ai-assistant, data-analysis, document-processing
754 structured cybersecurity skills for AI agents · Mapped to 5 frameworks: MITRE ATT&CK, NIST CSF 2.0, MITRE ATLAS, D3FEND & NIST AI RMF · agentskills.io standard · Works with Claude Code, GitHub Copilot, Codex CLI, Cursor, Gemini CLI & 20+ platforms · 26 security domains · Apache 2.0
GitHub repository with 13,233 stars and 1,551 forks.
Trending score: 4.53; stars gained: +301; forks gained: +38.
Language: Python
Topics: ai-agents, claude-code, cybersecurity, incident-response, mitre-attack, penetration-testing
利用AI大模型，一键生成高清短视频 Generate short videos with one click using AI LLM.
GitHub repository with 88,031 stars and 12,625 forks.
Trending score: 6.02; stars gained: +1,097; forks gained: +218.
Language: Python
Topics: ai, automation, chatgpt, moviepy, python, shortvideo
Self-hosted AI workspace.
GitHub repository with 71,432 stars and 9,108 forks.
Trending score: 5.98; stars gained: +834; forks gained: +140.
Language: Python
The agent that grows with you
GitHub repository with 194,098 stars and 33,987 forks.
Trending score: 5.92; stars gained: +753; forks gained: +209.
Language: Python
Topics: ai, ai-agent, ai-agents, anthropic, chatgpt, claude
Security scanner for AI agent skills. Detect vulnerabilities, malicious patterns, and security risks.
GitHub repository with 5,962 stars and 441 forks.
Trending score: 5.61; stars gained: +874; forks gained: +76.
Language: Python
Learn it. Build it. Ship it for others.
GitHub repository with 32,676 stars and 5,366 forks.
Trending score: 5.59; stars gained: +762; forks gained: +135.
Language: Python
Topics: agents, ai, ai-agents, ai-engineering, computer-vision, course
Generate draw.io diagrams from natural language — 6 presets, vision self-check + up to 5-round refinement, codebase-to-diagram, 10,000+ official shapes & 321 AI/LLM brand logos. Exports PNG/SVG/PDF/JPG.
GitHub repository with 3,445 stars and 240 forks.
Trending score: 5.51; stars gained: +1,369; forks gained: +113.
Language: Python
Topics: agent-skill, agent-skills, architecture-diagram, claude-code, claude-code-skill, claude-skills
The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.
GitHub repository with 215,798 stars and 33,165 forks.
Trending score: 6.30; stars gained: +2,229; forks gained: +347.
Language: JavaScript
Topics: ai-agents, anthropic, claude, claude-code, developer-tools, llm
The agent that grows with you
GitHub repository with 194,098 stars and 33,987 forks.
Trending score: 5.92; stars gained: +753; forks gained: +209.
Language: Python
Topics: ai, ai-agent, ai-agents, anthropic, chatgpt, claude
🎨 Local-first, open-source Claude Design alternative. 🖥️ Native desktop app. ⚡ 259+ Skills · ✨ 142+ Design Systems 🖼️ Web · desktop · mobile prototypes · slides · images · videos · HyperFrames 📦 Sandboxed preview · HTML/PDF/PPTX/MP4 export 🤖 Claude Code / OpenClaw / Codex / Cursor / OpenCode / Qwen / Copilot / Hermes / Kimi & 17+ CLIs.
GitHub repository with 65,220 stars and 7,302 forks.
Trending score: 5.65; stars gained: +790; forks gained: +117.
Language: TypeScript
Topics: agent-skills, ai-agents, ai-design, byok, claude-code-for-design, claude-design
Learn it. Build it. Ship it for others.
GitHub repository with 32,676 stars and 5,366 forks.
Trending score: 5.59; stars gained: +762; forks gained: +135.
Language: Python
Topics: agents, ai, ai-agents, ai-engineering, computer-vision, course
Stealth Chromium that passes every bot detection test. Drop-in Playwright replacement with source-level fingerprint patches. 30/30 tests passed.
GitHub repository with 26,140 stars and 2,068 forks.
Trending score: 5.28; stars gained: +897; forks gained: +60.
Language: Python
Topics: anti-detect, bot-detection, browser-automation, chromium, cloudflare, fingerprint
The API to search, scrape, and interact with the web at scale. 🔥
GitHub repository with 133,013 stars and 7,799 forks.
Trending score: 5.24; stars gained: +635; forks gained: +11.
Language: TypeScript
Topics: ai, ai-agents, ai-crawler, ai-scraping, ai-search, crawler