leteo AGENTS.md

leteo AGENTS.md is an instructions file for Codex, OpenCode from asanabrial/leteo. It costs 1,553 tokens per session, scanned A, original, MIT.

A set of instructions for contributors to the Leteo project, a local system that gives coding agents persistent memory using one Rust program and one SQLite database. It explains how to update the project’s written specifications alongside code changes.

In plain words
What is it for?
Working on Leteo, reading and maintaining its specifications, following repository-specific development rules, and keeping code, tests, comments, commits, and documentation consistent.
Why use it?
It keeps the project’s documentation aligned with its actual behaviour and records rules learned from past bugs. This gives contributors a consistent way to build, test, and document changes.

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/asanabrial/leteo/agents-md
Clone the repo
git clone --depth 1 https://github.com/asanabrial/leteo

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 leteo AGENTS.md

README.md
[![agentmods](https://agentmods.dev/badge/instructions/asanabrial/leteo/agents-md.svg)](https://agentmods.dev/instructions/asanabrial/leteo/agents-md)
Your own site
<a href="https://agentmods.dev/instructions/asanabrial/leteo/agents-md"><img src="https://agentmods.dev/badge/instructions/asanabrial/leteo/agents-md.svg" alt="Measured on agentmods" height="20"></a>
Per session 1,553 This file is loaded in full into every session.
When invoked 1,553 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.01553 $0.01553
Opus 5 $0.00776 $0.00776
Sonnet 5 $0.00311 $0.00311
Haiku 4.5 $0.00155 $0.00155

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

Security

Grade A, and why

leteo 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 today.

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 · 124 lines

How it starts

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

Working on Leteo

Local-first persistent memory for coding agents: one Rust binary over one SQLite database. Read openspec/project.md first — it says what the crate is and how it is laid out.

Everything written into this repository is in English — code, comments, commit messages, tests, and the documents under openspec/ — whatever language the conversation about it happens in.

Keep openspec/ current

openspec/ is the written half of this project: one file per capability, saying what the system guarantees and why. It is maintained as part of the work, not after it.

  • A change to a promise and its spec edit belong in the same commit. A commit that leaves a spec describing behaviour the code no longer has is worse than no documentation, because a reader will believe the wrong one.
  • Keep it structured. Each spec has the same five sections — Purpose, Behaviour, Invariants, Where it lives, Related — and the requirements under Behaviour are numbered so they can be cited (search.md §3). Numbers are stable; a requirement that stops holding is rewritten in place, never silently renumbered.
  • Keep it related. Every file ends with links to its neighbours, so any file is a way in to all of them. A fact that belongs in two specs lives in one and is linked from the other — stated twice, it will be edited once.
  • Keep it readable. A spec longer than one sitting is two specs.

openspec/README.md lists exactly which kinds of change require a spec edit. Read it before adding a tool, a command, a flag, a doctor check, a migration, an output field, or a default.

Building and testing

cargo fmt --all
cargo clippy --all-targets
cargo test              # unit tests, plus the integration tests in tests/
cargo build --release

All three must be clean before a commit. cargo test --lib alone is not enough: it skips tests/, which is where the surface-level guards live.

Rules that have cost this codebase real bugs

Read the full file on GitHub · 124 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. today Changed · +6 lines · +100 tokens per session 4f98c52305fa
  2. 4d ago First seen · 118 lines · 1,453 tokens per session scan A ee26cba66df3

Subscribe to this mod's changes

leteo AGENTS.md is an instructions file published in the GitHub repository asanabrial/leteo (2 stars, last pushed 2d ago), licensed MIT. It adds 1,553 tokens to every session, about $0.0078 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-31.