The 100 line AI agent for proving theorems and writing programs in Lean. Radically simple, no huge configs, no giant monorepo. Forked from mini-SWE-agent.
GitHub repository with 13 stars and 1 forks.
Language: Python
Topics: agent, agentic-ai, agentic-ai-cli, ai, ai-agent, textual
Trending score 0.18, freshness score 0.00, stars gained +0, forks gained +0.
2026-11-02: 13 stars and 1 forks.
A production-ready FastAPI template for building AI agent applications with LangGraph integration. This template provides a robust foundation for building scalable, secure, and maintainable AI agent services.
GitHub repository with 34 stars and 4 forks.
Trending score: 0.00.
Language: Python
Topics: agent, agentic-ai, docker, fastapi, fastapi-template, langchain
Eden is building autonomous creative agents.
GitHub repository with 31 stars and 7 forks.
Trending score: 0.00.
Language: Python
Topics: agent, agentic-ai, agents, ai, aiart, autonomous-agents
Debloat any Android or Google TV over Wi-Fi and get an Apple TV-style home.
GitHub repository with 50,021 stars and 6,296 forks.
Trending score: 6.66; stars gained: +2,449; forks gained: +403.
Language: Python
Topics: adb, adblock, android-tv, android-tv-launcher, apple-tv, bloatware-removal
VoiceStudio is the open-source, fully-local ElevenLabs alternative — voice cloning, voice design, video dubbing, dictation, transcription & audiobook creation in 646 languages.
GitHub repository with 98,705 stars and 10,947 forks.
Trending score: 6.48; stars gained: +2,186; forks gained: +270.
Language: Python
Topics: ai, audiobook, cuda, dubbing, elevenlabs-alternative, huggingface
DeepTutor: Lifelong Personalized Tutoring. https://deeptutor.info/.
GitHub repository with 54,169 stars and 6,628 forks.
Trending score: 6.35; stars gained: +1,917; forks gained: +225.
Language: Python
Topics: ai-agents, ai-tutor, clawbot, cli-tool, deepresearch, interactive-learning
Open-source skills for designing and reviewing software with AI agents
GitHub repository with 10,275 stars and 682 forks.
Trending score: 6.27; stars gained: +2,304; forks gained: +157.
Language: Python
Topics: agent-skills, ai-agents, antigravity, claude-code, claude-code-plugin, claude-skills
Independent Auditing of AI Agents. Run by human or the agent itself, to answer the most crucial question in the AI Agent Economy. Is the agent doing what is supposed to do? With iFixAi you can have this answer in less than 120 seconds.
GitHub repository with 43,005 stars and 1,779 forks.
Trending score: 6.15; stars gained: +3,355; forks gained: +26.
Language: Python
Topics: agent-evaluation, ai, ai-alignment, ai-evaluation, ai-governance, ai-safety
Turn any codebase, with its docs, SQL schemas, configs, and PDFs, into a queryable knowledge graph. A /graphify skill for Claude Code, Cursor, Codex, and Gemini CLI: local deterministic AST parsing, every edge explained, no vector store.
GitHub repository with 140,936 stars and 13,472 forks.
Trending score: 5.87; stars gained: +1,066; forks gained: +123.
Language: Python
Topics: ai-agents, antigravity, ast, claude-code, code-analysis, code-search
# Agents-PromptsEste repositório contém os prompts usados nas principais ferramentas de IA do mundo, incluindo FULL v0, Cursor, Manus, Lovable e mais. Estude mais de 7000 linhas de prompts para entender como criar seus próprios agentes. 🛠️🤖Se você deseja aprender a criar seus próprios agentes, confira nosso curso gratuito que ensina a combinar
GitHub repository with 24 stars and 4 forks.
Trending score: 0.00.
Topics: agent, ai, ai-agents, bolt, chatgpt, copilot
A production-ready FastAPI template for building AI agent applications with LangGraph integration. This template provides a robust foundation for building scalable, secure, and maintainable AI agent services.
GitHub repository with 34 stars and 4 forks.
Trending score: 0.00.
Language: Python
Topics: agent, agentic-ai, docker, fastapi, fastapi-template, langchain
Use Claude to orchestrate agents like OpenClaw
GitHub repository with 194 stars and 62 forks.
Trending score: 0.00; stars gained: +0; forks gained: +0.
Language: TypeScript
Topics: agent, agentic-ai, claude-code, openclaw
Eden is building autonomous creative agents.
GitHub repository with 31 stars and 7 forks.
Trending score: 0.00.
Language: Python
Topics: agent, agentic-ai, agents, ai, aiart, autonomous-agents