4 skills found
yvgude / lean-ctxControl what your AI can see. LeanCTX (Lean Context) is the context intelligence layer for AI agents — one local Rust binary that decides what they read, remembers what they learn, guards what they touch, and proves what they save. 60–90% fewer tokens as the receipt.
sergezuber / FABULA-LLM-5The agent harness that makes small local models finish hard tasks — and prove it. Done is enforced by the engine, not the prompt: gates, rewinds, a judge, and a replayable Proof-of-Done receipt on every finished run. Any model in the socket. Local, sovereign, air-gapped-capable.
shehryarsaroya / agenttransferOpen-source infrastructure for AI agents — each gets an email address, folder, inbox, and API key. Move files through named inboxes instead of shared cloud credentials; signed receipts and MCP built in.
vinceglakas / receipt-patternThe Receipt Pattern — auditable AI agent actions in 10 lines. Every agent action leaves a receipt.
