L
LEDGER
Claim-to-evidence trace graphs for auditing and verifying LLM agent reasoning
Open SourceFree
About
LEDGER is a research framework that constructs structured graphs mapping agent claims to their supporting evidence, enabling systematic verification of multi-step reasoning in LLM agents. Designed for auditing complex technical workflows, it provides a formal approach to trace how autonomous agents justify their decisions and outputs. Particularly valuable for high-stakes applications requiring explainability and validation of agent behavior.
Details
| Type | |
| Integrations | |
| Language |
Tags
observabilitytracingautonomousevaluationopen-sourceresearch
Quick Info
- Organization
- Research (Daehong Kim et al.)
- Pricing
- open-source
- Free Tier
- Yes
- Updated
- Aug 20, 2026
Also in Dev Tools
C
Crawl4AI
Open-source web crawler optimized for LLMs and AI agents — 62K+ stars
OSSFree
unclecode
79.0K2d ago82
F
Firecrawl
Web scraping API built for LLMs — turn any website into LLM-ready data — 89K+ stars
OSSfreemium
Mendable
170.7Ktoday162
H
Headroom Context Optimization
Reduce LLM API costs by 50-90% through advanced context compression
OSSFree
Shubham Saboo
133.5Ktoday95