Two small games and an ontology border between them: drag an item across, and the receiving game checks a Lean-checked passport before it gets in.
GitHub repository with 6 stars and 0 forks.
Language: Python
Topics: claude-code, game-development, game-mashup, interoperability, knowledge-graph, lean4, ontology, owl, rdf, shacl
Trending score 0.08, freshness score 0.62, stars gained not enough history, forks gained not enough history.
2026-10-13: 6 stars and 0 forks.
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 62,057 stars and 6,932 forks.
Trending score: 6.44; stars gained: +3,093; forks gained: +346.
Language: Python
Topics: ai, audiobook, cuda, dubbing, elevenlabs-alternative, huggingface
Learn AI Engineering! Learn it. Build it. Ship it for others.
GitHub repository with 68,500 stars and 11,988 forks.
Trending score: 5.99; stars gained: +1,301; forks gained: +233.
Language: Python
Topics: agents, ai, ai-agents, ai-engineering, computer-vision, course
World's first open-source, agentic video production system. 12 production pipelines, 100+ tools, 700+ agent skill and production-knowledge files. Turn your AI coding assistant into a full video production studio.
GitHub repository with 67,843 stars and 8,672 forks.
Trending score: 5.95; stars gained: +1,401; forks gained: +201.
Language: Python
Topics: agent, agentic-ai, ai, claude, copilot, cursor
AI turns documents or topics into real, native PowerPoint decks—with native shapes, transitions and animations, data-backed charts and tables on demand, audio narration from speaker notes, and support for your own .pptx templates. · by Hugo He
GitHub repository with 61,587 stars and 4,876 forks.
Trending score: 5.86; stars gained: +1,714; forks gained: +153.
Language: Python
Topics: ai-agent, aippt, office, powerpoint, powerpoint-generation, ppt
Give your AI agent eyes to see the entire internet. Read & search Twitter, Reddit, YouTube, GitHub, Bilibili, XiaoHongShu — one CLI, zero API fees.
GitHub repository with 96,877 stars and 8,473 forks.
Trending score: 5.84; stars gained: +1,100; forks gained: +96.
Language: Python
Topics: agent-infrastructure, ai-agent, ai-search, automation, bilibili, claude-code
Use Claude Code, Codex, VSCode, Pi, and OpenCode (and 6 other harnesses) for free (1.3B+ free tokens) from your terminal, app, IDE, or phone, and now from the browser with native browser sessions (multi-harness + multi-model) like OpenClaw (voice supported + ToS friendly)
GitHub repository with 60,001 stars and 9,408 forks.
Trending score: 5.76; stars gained: +1,551; forks gained: +141.
Language: Python
Give AI coding agents the context they need to ship production-quality software.
GitHub repository with 243 stars and 19 forks.
Trending score: 0.14; stars gained: +0; forks gained: +0.
Language: Rust
Topics: ai, ai-agent, ai-agents, ai-assistant, ai-infra, ai-infrastructure
Use Claude to orchestrate agents like OpenClaw
GitHub repository with 194 stars and 61 forks.
Trending score: 0.00.
Language: TypeScript
Topics: agent, agentic-ai, claude-code, openclaw
🛡️ Orchestrate Claude Code sessions via API. Create, brief, monitor, refine, ship. The bridge between your orchestrator and your coding agent.
GitHub repository with 12 stars and 3 forks.
Trending score: 0.00.
Language: TypeScript
Topics: ai-agent, automation, claude-code, cli, coding-agent, developer-tools