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.
npx agentmods add instructions/lemmaoracle/lemma/claude-mdgit clone --depth 1 https://github.com/lemmaoracle/lemmaWrote 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.
[](https://agentmods.dev/instructions/lemmaoracle/lemma/claude-md)<a href="https://agentmods.dev/instructions/lemmaoracle/lemma/claude-md"><img src="https://agentmods.dev/badge/instructions/lemmaoracle/lemma/claude-md.svg" alt="Measured on agentmods" height="20"></a>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.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5 | $0.00011 | $0.00011 |
| Opus 5 | $0.00005 | $0.00005 |
| Sonnet 5 | $0.00002 | $0.00002 |
| Haiku 4.5 | $0.00001 | $0.00001 |
Grade A, and why
lemma CLAUDE.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.
The source is not reproduced here
No licence file
A repository with no LICENSE is all rights reserved by default, so the body is not copied here. The metadata, the measurements and the link are.
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.
- 3d ago First seen · 2 lines · 11 tokens per session scan A 3b2c8a6a80fe
lemma CLAUDE.md is an instructions file published in the GitHub repository lemmaoracle/lemma (1 stars, last pushed 4d ago), with no licence file. It adds 11 tokens to every session, about $0.0001 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.
Other instructions, from other repositories
finai-research CLAUDE.md
Instructions for csmar432/finai-research, covering 论文-研报工作流 · finresearch agent, 一句话, 快速开始, 写作轨 and 实证轨（现代 did）.
finai-research copilot-instructions.md
Instructions for csmar432/finai-research, covering copilot instructions for 论文-研报工作流, 项目概述, 自动启动流程（每次对话必须执行）, 诊断交互（三平台统一） and 项目结构.
finai-research AGENTS.md
Instructions for csmar432/finai-research, covering agents.md — codex / copilot / claude code entry point, project: 论文-研报工作流 · finresearch agent, quick start (3 commands), 1. install (one of:) and 2. configure llm (deepseek is free for chinese use).
grove CLAUDE.md
Claude Code instructions for jmilinovich/grove, covering grove, architecture rules, running locally, code conventions and what not to do.
AKF CLAUDE.md
Instructions for HMAKT99/AKF, covering akf — agent knowledge format, the protocol, before building on an existing file — check it, after creating or modifying files — stamp what you verified and deeper inspection when needed.
AKF copilot-instructions.md
Instructions for HMAKT99/AKF, covering akf — agent knowledge format, rules, after creating or modifying files, after completing a task with commits and when working with existing akf-stamped files.