Every card below was actually executed by the lab — under-the-radar repos that installed clean and did what they claim, verified in the sandbox, not guessed from the README. From 1,456 repos tested so far.
ProofOfThought
A framework for LLM-based reasoning that leverages Z3 theorem proving to verify and execute logical reasoning tasks.
Insight The project has a complete structure, clear documentation, and a published manifest.
github.com/DebarghaG/proofofthought ↗
Typer
Typer is a Python library for building command-line interfaces (CLIs) based on type hints.
Insight Installed cleanly on the first try.
github.com/tiangolo/typer ↗
Deliberation
Deliberation is an MCP (Model Context Protocol) server and plugin that enables AI agents to seek second opinions and consensus from multiple LLMs simultaneously.
Insight The project has a complete structure with multiple packages, a published npm registry entry, and successful test execution.
github.com/antonbabenko/deliberation ↗
argue
A multi-agent debate engine that enables multiple AI agents to analyze problems, challenge each other's claims, and converge on a consensus through iterative rounds and v.
Insight Installed cleanly on the first try; its own test suite ran — 52 tests passed.
github.com/onevcat/argue ↗
ITER: Iterative Token Evaluation and Refinement for Super-Resolution
ITER is a super-resolution framework that improves image reconstruction by iteratively evaluating and refining discrete tokens.
Insight ITER is a super-resolution framework that improves image reconstruction by iteratively evaluating and refining discrete tokens.
github.com/chaofengc/ITER ↗
RecombNet
RecombNet is a Python toolkit that reconstructs and visualizes ancestral recombination graphs (ARGs) from aligned viral sequences (specifically SARS-CoV-2).
Insight Installed cleanly on the first try.
github.com/silmarildust/RecombNet ↗