Back to browse
GitHub Repository
2 starsPython

Lever – replace agent token transport with deterministic hooks

by Present_Flow·Jul 10, 2026·1 point·0 comments

AI Analysis

●●●BangerBig BrainWizardry

Content-addressed stores make agent operations deterministic instead of relying on LLM re-emission.

Strengths
  • Formal framework with LAW.md and BEDROCK.md defines 20 flow cells with coverage guarantees
  • Universal tests verify guard totality, rewrite idempotence, and store monotonicity across all moves
  • Claude Code plugin integration means it works with existing agent workflows
Weaknesses
  • Documentation is dense with mathematical notation that may limit adoption
  • Only 2 GitHub stars suggests very early stage with limited real-world validation
Category
Target Audience

Developers building agent systems who need reproducible, auditable agent operations

Similar To

LangChain · LlamaIndex · Model Context Protocol

Similar Projects

AI/ML●●●Banger

Freu CLI – Cut web agent token usage by 90% via compiled browser skills

Compiles browser sessions into deterministic skills, slashing agent token costs by 90%.

Big BrainSolve My Problem
0xintelligence
462mo ago
Security●●Solid

Agent-pd – A zero-token audit log to catch rogue Claude Code subagents

Catches denied calls that never reach transcripts—six detectors at zero token cost.

Big BrainNiche Gem
softie123
621mo ago