ai-verification-observatory/inference-proofs

Provable LLM inference measured on the same hardware: overhead against production serving, proving time, proof size and check time, and what one proof establishes.

GitHub repository with 10 stars and 0 forks.

Language: Python

Topics: ai-safety, ai-verification, provable-inference, verifiable-ai, verifiable-inference, zero-knowledge-proofs, zkml

Open provider repository

24h trend summary

Trending score 0.09, freshness score 0.76, stars gained +0, forks gained +0.

Latest metric snapshot

2026-11-15: 10 stars and 0 forks.

Trending in Python

  1. 1. sherlock-project/sherlock

    Hunt down social media accounts by username across social networks

    GitHub repository with 112,245 stars and 12,975 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 111,286 stars and 12,342 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,422 stars and 57,559 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 9,129 stars and 1,347 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 195,166 stars and 22,948 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,530 stars and 1,453 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