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,538 repos tested so far.
DProvenanceKit
DProvenanceKit is a local-first SDK for recording and verifying AI reasoning paths and agent behavior.
Insight The project has a complete structure, multiple language ports (Swift, Python), and clear documentation.
github.com/Therealdk8890/DProvenanceKit ↗
rag-observatory
A diagnostic framework for Retrieval-Augmented Generation (RAG) that provides trace-based observability and failure analysis.
Insight Installed cleanly on the first try; its own test suite ran — 89 tests passed; the demo actually ran and produced real output.
github.com/GioiaZheng/rag-observatory ↗
Cairn
Cairn is an open-source background agent system designed to automate end-to-end software engineering tasks directly within GitHub repositories.
Insight Installed cleanly on the first try.
github.com/cairn-dev/cairn ↗
OpenASE
OpenASE is a ticket-driven automated software engineering platform that enables AI agents to autonomously execute workflows and complete software tasks.
Insight Judged statically, the project is a complete and well-structured Go application with a comprehensive documentation suite, multi-file structure, and clear project manifests.
github.com/PacificStudio/openase ↗
LLM-to-Symbolic Planner
A framework that combines Large Language Models (LLMs) with symbolic reasoning to define and monitor complex robot activities.
Insight The project contains a complete implementation with multiple modules (process extraction, planning, and simulation), clear documentation, and multiple sub-modules.
github.com/Fra-Tsuna/llm-to-symbolic-planner ↗
Symbolic Planner
A symbolic task planning framework for robotic and autonomous systems that reasons about high-level logical states and action sequences.
Insight The project includes a complete C++ implementation with a build system that successfully compiled and a comprehensive suite of environment files and visualization scripts.
github.com/Elonian/Symbolic-Planner ↗