LAVA-LAB/COOL-MC

The interface between probabilistic model checking and data-driven policy learning.

GitHub repository with 21 stars and 2 forks.

Language: Python

Topics: ai-safety, ai-security, artificial-intelligence, behavioral-cloning, explainable-ai, formal-verification, large-language-models, machine-learning, model-checking, reinforcement-learning

Open provider repository

Latest metric snapshot

2026-11-15: 21 stars and 2 forks.

Trending in Python

  1. 1. sherlock-project/sherlock

    Hunt down social media accounts by username across social networks

    GitHub repository with 112,022 stars and 12,961 forks.

    Trending score: 6.18; stars gained: +1,186; forks gained: +126.

    Language: Python

    Topics: cli, cti, cybersecurity, forensics, hacktoberfest, information-gathering

  2. 2. debpalash/VoiceStudio

    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 110,934 stars and 12,295 forks.

    Trending score: 6.13; stars gained: +1,499; forks gained: +156.

    Language: Python

    Topics: ai, audiobook, cuda, dubbing, elevenlabs-alternative, huggingface

  3. 3. ZhuLinsen/daily_stock_analysis

    LLM 驱动的多市场股票智能分析系统：多源行情、实时新闻、决策看板与自动推送，支持零成本定时运行。 LLM-powered multi-market stock analysis system with multi-source market data, real-time news, decision dashboard, automated notifications, and cost-free scheduled runs.

    GitHub repository with 72,348 stars and 57,516 forks.

    Trending score: 5.99; stars gained: +1,171; forks gained: +346.

    Language: Python

    Topics: a-stock, ai-agent, aigc, llm, quant, quantitative-finance

  4. 4. JuneYaooo/rea-video

    Reverse-engineer any video, shot by shot: filmed, AI-generated or coded, and how to remake it. Breakdowns in the open VIDEO.md format. 逆向一切视频，逐个镜头看是拍的、AI 生成的还是代码做的，再告诉你怎么复刻；拆解结果按 VIDEO.md 格式输出。

    GitHub repository with 8,801 stars and 1,295 forks.

    Trending score: 5.91; stars gained: +1,057; forks gained: +157.

    Language: Python

    Topics: agent-skills, ai-video, aigc-detection, claude-code, codex, ffmpeg

  5. 5. anthropics/skills

    Public repository for Agent Skills

    GitHub repository with 194,883 stars and 22,921 forks.

    Trending score: 5.87; stars gained: +919; forks gained: +113.

    Language: Python

    Topics: agent-skills

  6. 6. google/elephant-goldfish-model

    Open-source plugin for designing and reviewing software with agents

    GitHub repository with 19,359 stars and 1,439 forks.

    Trending score: 5.81; stars gained: +1,001; forks gained: +68.

    Language: Python

    Topics: agent-skills, ai-agents, antigravity, claude-code, claude-code-plugin, claude-skills