DebarghaG/proofofthought

Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)

GitHub repository with 377 stars and 29 forks.

Language: Python

Topics: automated-reasoning, llm, llm-inference, llm-reasoning, trustworthy-ai, z3

Open provider repository

24h trend summary

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

Latest metric snapshot

2026-11-02: 377 stars and 29 forks.

Trending in Python

  1. 1. Gathin23/cleanyourtv

    Debloat any Android or Google TV over Wi-Fi and get an Apple TV-style home.

    GitHub repository with 49,654 stars and 6,244 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

  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 98,392 stars and 10,925 forks.

    Trending score: 6.48; stars gained: +2,186; forks gained: +270.

    Language: Python

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

  3. 3. HKUDS/DeepTutor

    DeepTutor: Lifelong Personalized Tutoring. https://deeptutor.info/.

    GitHub repository with 54,004 stars and 6,605 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

  4. 4. ifixai-ai/iFixAi

    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 42,865 stars and 1,778 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

  5. 5. google/elephant-goldfish-model

    Open-source skills for designing and reviewing software with AI agents

    GitHub repository with 9,778 stars and 641 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

  6. 6. elayadesign/ai-design-skills

    GitHub repository with 13,435 stars and 1,005 forks.

    Trending score: 5.56; stars gained: +436; forks gained: +54.

    Language: Python