Instructions for yvgude/lean-ctx, a project described as: Control 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…
Instructions for juyterman1000/entroly, covering agents.md, use gstack with codex, entroly operating rule, default codex workflow and ui verification rule.
Copilot instructions for DFKHelper/token-goat: Gate — before every file read, answer one question first: is there a token-goat command that returns just what I need? If yes, run it. A read tool invoked without answering the gate is a violation, not an oversight. The gate is per file: batched or parallel reads do not…
Instructions for ww-w-ai/super-token-saver, covering claude.md, what this is, architecture, two transcript sources, one pipeline and one repo, two hosts.
Instructions for phonowell/invoke-opencode-acp, a project described as: Claude Code CLI skill that delegates complex tasks to an OpenCode subagent via ACP protocol, saving 50-90% tokens.
Instructions for tinesoft/spec-kit-token-budget, covering claude.md, what this repo is, development workflow, install locally into an sdd project for manual testing and test slimoutput.sh.