leanproxy-mcp: Instructions file for Codex

AGENTS.md

leanproxy-mcp AGENTS.md is an instructions file for Codex, OpenCode from mmornati/leanproxy-mcp. It costs 245 tokens per session, scanned A, a copy of ols4 AGENTS.md, MIT.

Project-specific instructions for using a knowledge graph: a map of concepts and relationships across a codebase.

In plain words
What is it for?
Use it to answer codebase questions, trace relationships between concepts, and explain focused parts of a project.
Why use it?
It helps developers find relevant code and understand connections without searching the entire project manually.

Instructions file for CodexOpenCode

Written for Codex and OpenCode: the file is AGENTS.md.

This is mmornati/leanproxy-mcp's own configuration. It tells Codex and OpenCode how to work on leanproxy-mcp itself, so it is not a mod to install elsewhere. Copy it as a starting point and replace the rules that are about this project. Everything leanproxy-mcp configures →

Reuse

Borrowing it

Nothing to install: this file belongs to mmornati/leanproxy-mcp. Take a copy, put it at the same path in your own repository, and replace the rules that are about this project with yours.

Copy the file
curl -O https://raw.githubusercontent.com/mmornati/leanproxy-mcp/main/AGENTS.md
Clone the repo
git clone --depth 1 https://github.com/mmornati/leanproxy-mcp

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 leanproxy-mcp AGENTS.md

README.md
[![agentmods](https://agentmods.dev/badge/instructions/mmornati/leanproxy-mcp/agents-md/github.svg)](https://agentmods.dev/instructions/mmornati/leanproxy-mcp/agents-md)
Your own site
<a href="https://agentmods.dev/instructions/mmornati/leanproxy-mcp/agents-md"><img src="https://agentmods.dev/badge/instructions/mmornati/leanproxy-mcp/agents-md/github.svg" alt="Measured on agentmods" height="20"></a>

Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.

agentmods 80×15 button for leanproxy-mcp AGENTS.md

Your own site · 80×15
<a href="https://agentmods.dev/instructions/mmornati/leanproxy-mcp/agents-md"><img src="https://agentmods.dev/badge/instructions/mmornati/leanproxy-mcp/agents-md.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 245 This file is loaded in full into every session.
When invoked 245 The same file — it is already loaded in full.
Security scan A 0 findings. A grade says what 26 rules found in the file — not that it is safe.
Origin 100% copy Near-identical to another mod 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.1 $0.00245 $0.00245
Opus 5.5 $0.00098 $0.00098
Sonnet 5.5 $0.00049 $0.00049
Haiku 4.5 $0.00024 $0.00024

Measured 1mo ago against content hash 6a4a2e13159f, method: parsed. Prices are Anthropic first-party input rates as of 2026-10-07, from the pricing page.

Security

Grade A, and why

leanproxy-mcp 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 1mo 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.

Origin

This is a copy

100% identical to ols4 AGENTS.md — 0 lines differ, which has more behind it and is treated as the original. This page carries a canonical link to it rather than competing with it.

AGENTS.md · 13 lines

What it actually says

graphify

This project has a knowledge graph at graphify-out/ with god nodes, community structure, and cross-file relationships.

When the user types /graphify, use the installed graphify skill or instructions before doing anything else.

Rules:

  • For codebase questions, first run graphify query "<question>" when graphify-out/graph.json exists. Use graphify path "<A>" "<B>" for relationships and graphify explain "<concept>" for focused concepts. These return a scoped subgraph, usually much smaller than GRAPH_REPORT.md or raw grep output.
  • Dirty graphify-out/ files are expected after hooks or incremental updates; dirty graph files are not a reason to skip graphify. Only skip graphify if the task is about stale or incorrect graph output, or the user explicitly says not to use it.
  • If graphify-out/wiki/index.md exists, use it for broad navigation instead of raw source browsing.
  • Read graphify-out/GRAPH_REPORT.md only for broad architecture review or when query/path/explain do not surface enough context.
  • After modifying code, run graphify update . to keep the graph current (AST-only, no API cost).
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. 1mo ago First seen · 13 lines · 245 tokens per session scan A 6a4a2e13159f

Subscribe to this mod's changes

leanproxy-mcp AGENTS.md is an instructions file published in the GitHub repository mmornati/leanproxy-mcp (5 stars, last pushed 27d ago), licensed MIT. It adds 245 tokens to every session, about $0.0010 per session on Opus 5.5. A static security scan graded it A with 0 findings. It is 100% identical to ols4 AGENTS.md, differing in 0 lines, and is treated as a copy.

Related

Other instructions, from other repositories

vscode buildNext.instructions.md

Working notes and architecture documentation for the new esbuild-based build system in build/next. Use when making changes to the new build pipeline (transpile/bundle commands, NLS plugin, source-map handling, resource copying, or self-hosting watch tasks).

microsoft/vscode · 9,715 tokens

next.js AGENTS.md

AGENTS.md instructions for vercel/next.js, covering next.js development guide, codebase structure, monorepo overview, core package: packages/next and other important packages.

vercel/next.js · 7,581 tokens

vscode oss-third-party-notices.instructions.md

Instructions for microsoft/vscode, covering vs code oss third-party-notices pipeline, architecture, pipeline flow in ci, cache eligibility and rollout and applying the notice (cutover).

microsoft/vscode · 5,262 tokens

langchain AGENTS.md

AGENTS.md instructions for langchain-ai/langchain, covering global development guidelines for the langchain monorepo, corridor security analysis, project architecture and context, monorepo structure and development tools & commands.

langchain-ai/langchain · 4,680 tokens

vscode copilot-instructions.md

Copilot instructions for microsoft/vscode, covering vs code copilot instructions, project overview, root folders, core architecture (src/ folder) and built-in extensions (extensions/ folder).

microsoft/vscode · 2,731 tokens

deepseek-harness AGENTS.md

AGENTS.md instructions for deepseek-ai/deepseek-harness, covering agents.md, pre-stable apis and released session data, repository layout, commands and host sandbox failures.

deepseek-ai/deepseek-harness · 4,261 tokens