A Python package that enables batch execution of tamarin-prover tasks with JSON configuration files and comprehensive reporting.
GitHub repository with 5 stars and 3 forks.
Language: Python
Topics: batch-processing, tamarin-prover
2026-06-15: 5 stars and 3 forks.
利用AI大模型，一键生成高清短视频 Generate short videos with one click using AI LLM.
GitHub repository with 88,172 stars and 12,648 forks.
Trending score: 6.02; stars gained: +1,097; forks gained: +218.
Language: Python
Topics: shortvideo, automation, chatgpt, moviepy, python, tiktok
Self-hosted AI workspace.
GitHub repository with 71,715 stars and 9,152 forks.
Trending score: 5.98; stars gained: +834; forks gained: +140.
Language: Python
The agent that grows with you
GitHub repository with 194,388 stars and 34,074 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 6,180 stars and 450 forks.
Trending score: 5.61; stars gained: +874; forks gained: +76.
Language: Python
Bash is all you need - A nano claude code–like 「agent harness」, built from 0 to 1
GitHub repository with 66,661 stars and 10,853 forks.
Trending score: 5.60; stars gained: +1,461; forks gained: +228.
Language: Python
Topics: agent, agent-development, ai-agent, claude, claude-code, educational
Learn it. Build it. Ship it for others.
GitHub repository with 32,907 stars and 5,389 forks.
Trending score: 5.59; stars gained: +762; forks gained: +135.
Language: Python
Topics: agents, ai, ai-agents, ai-engineering, computer-vision, course