leantoken AGENTS.md

leantoken AGENTS.md is an instructions file for Codex, OpenCode from morluto/leantoken. It costs 446 tokens per session, scanned A, original, Apache-2.0.

Project instructions for LeanToken, a Rust tool that retrieves only the most relevant parts of a code repository within a fixed token limit. It explains the architecture, performance constraints, documentation needs, and required checks.

In plain words
What is it for?
Use them when modifying LeanToken to choose focused tests, update architecture documentation, format code, run lint checks, and verify the full merge requirements.
Why use it?
They help developers preserve predictable results, memory limits, database consistency, and concurrency behavior while changing the project.

Instructions file for CodexOpenCode

Install

Getting it into your agent

One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.

agentmods
npx agentmods add instructions/morluto/leantoken/agents-md
Clone the repo
git clone --depth 1 https://github.com/morluto/leantoken

Made for: Codex, OpenCode.

Wrote this? Show the measurements

A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.

agentmods badge for leantoken AGENTS.md

README.md
[![agentmods](https://agentmods.dev/badge/instructions/morluto/leantoken/agents-md.svg)](https://agentmods.dev/instructions/morluto/leantoken/agents-md)
Your own site
<a href="https://agentmods.dev/instructions/morluto/leantoken/agents-md"><img src="https://agentmods.dev/badge/instructions/morluto/leantoken/agents-md.svg" alt="Measured on agentmods" height="20"></a>
Per session 446 This file is loaded in full into every session.
When invoked 446 The same file — it is already loaded in full.
Security scan A 0 findings. Scan, not verified.
Origin original No closer match found in the catalogue.
Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

ModelPer sessionOnce invoked
Fable 5 $0.00446 $0.00446
Opus 5 $0.00223 $0.00223
Sonnet 5 $0.00089 $0.00089
Haiku 4.5 $0.00045 $0.00045

Measured 3d ago against content hash 4cb3f36be7b8, method: parsed. Prices are Anthropic first-party input rates as of 2026-08-30, from the pricing page.

Security

Grade A, and why

leantoken AGENTS.md scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 3d ago.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

AGENTS.md · 54 lines

How it starts

The opening of the file, as written. The whole thing — 54 lines — stays where its author put it; the contents beside it link to each section on GitHub.

Repository guidance

LeanToken is a Rust application and library providing token-bounded repository retrieval through CLI and MCP adapters.

Architecture

  • Services owns application behavior; CLI and MCP adapters remain thin.
  • Preserve deterministic ranking, exact token budgets, bounded memory, atomic SQLite generations, and request snapshot consistency.
  • Document new scan, fan-out, storage, and concurrency bounds in docs/architecture.md.

Development

Run focused tests while iterating. Before the first push, format the tree and run the smallest relevant check or behavioral test that proves the change. Do not block opening a pull request on the complete CI-equivalent suite. Use cargo test-focused <module-or-test> to filter the library, binary, and integration targets, and use the ownership map in docs/development.md when choosing affected tests.

GitHub Actions owns normal Rust merge readiness and must pass:

cargo fmt --all -- --check
cargo clippy --all-targets --all-features -- -D warnings
cargo test-product

It also runs cargo test-extras for examples and benchmark behavior and checks rustdoc for public APIs and documentation. Run a complete gate locally only when reproducing CI, working without CI, or changing the gate itself. See docs/development.md for the complete development, packaging, and release workflow.

Change-specific validation

  • For performance or scalability work, use $optimize-accuracy-first.
  • For storage changes, include query-plan evidence and focused integration tests; a faster microbenchmark does not justify weaker atomicity, limits, freshness, or deterministic results.
  • Treat MCP schema snapshots as protocol changes. Inspect the schema diff before accepting an insta update.
  • Prefer behavioral integration tests for observable contracts and unit tests for private invariants.
  • Match surrounding Rust naming, documentation, and comment conventions.

Contributions

Use conventional commit prefixes and follow .github/pull_request_template.md. For releases and npm publication, follow docs/development.md and docs/releases.md; never replace an already-published version.

Read the full file on GitHub · 54 lines

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. 3d ago First seen · 54 lines · 446 tokens per session scan A 4cb3f36be7b8

Subscribe to this mod's changes

leantoken AGENTS.md is an instructions file published in the GitHub repository morluto/leantoken (23 stars, last pushed 3d ago), licensed Apache-2.0. It adds 446 tokens to every session, about $0.0022 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.