Developer Tools●●Solid
Ledger – Claude Code Token Spend Analyzer
Local SQLite ledger captures runaway Claude Code sessions before the bill shocks you.
Solve My ProblemCozy
tsv650
301mo ago
Back to browse
GitHub Repository
9 starsPython
Spend weekend Claude tokens making your code bullet-proof with Lean
by kurinikku·Mar 29, 2026·3 points·1 comment
AI Analysis
●●SolidBig BrainShip It
Lean formalization forces explicit types that expose silent failures Python allows.
Strengths
- •Lean type system surfaces invariants like non-negative balances that Python silently violates.
- •Automated evaluation harness generation scores invariant enforcement from 0 to 3.
- •Claude Code plugin integration means zero setup for existing Claude Code users.
Weaknesses
- •AI wrapper around Claude—formal verification already served by dedicated Lean/Coq tooling.
- •Requires Lean 4 installation and token spending for each repository analysis pass.
Category
Target Audience
Backend developers, teams wanting formal verification without expertise
Similar To
GitHub Copilot · Cursor · Lean
Similar Projects
Productivity●Mid
Claude Code Token Elo
Leaderboard for Claude Code usage that tracks your token burn.
Crowd Pleaser
ymaws
1163mo ago
Productivity●Mid
Claude Token Analyzer: a token "screen-time" report
Single gist script parsing local JSONL when no official Claude analytics exist.
Cozy
danmeier
326d ago
Developer Tools●●Solid
Track your Codex CLI(5.3) token spending (also Claude Code and Gemini)
Fast cost tracker for Claude Code, but the market is crowded and niche.
Solve My ProblemSlickShip It
mag123c
103mo ago
Developer Tools●●Solid
Lupen – an itemized, verified receipt for Claude Code and Codex spend
Recomputes costs from raw tokens and diffs against API totals instead of trusting them.
Solve My ProblemBig Brain
momoraul
1015h ago
Developer Tools●●Solid
Open-source proxy to track Claude API costs by team
Drop-in Claude API proxy with real-time cost dashboard—but Anthropic's own billing UI exists.
Solve My ProblemShip It
reshevyas
123mo ago