What is coverage-mcp AGENTS.md?

The main project rules for a Rust Coverage MCP service, which provides code-coverage data through HTTP and MCP interfaces. MCP is a standard way for coding agents to call tools and receive structured results.

Use it when changing MCP tools, inputs, outputs, errors, pagination, resources, or workflows, and when verifying both the HTTP and standard-input/output interfaces.

It keeps the Rust service, its interfaces, documentation, tests, and storage behaviour consistent when the tool contract changes.

How appunni-m/coverage-mcp configures Codex and OpenCode

Reuse

Borrowing it

Nothing to install: this file belongs to appunni-m/coverage-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/appunni-m/coverage-mcp/main/AGENTS.md

Clone the repo

git clone --depth 1 https://github.com/appunni-m/coverage-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.

README.md

[![agentmods](https://agentmods.dev/badge/instructions/appunni-m/coverage-mcp/agents-md/github.svg)](https://agentmods.dev/instructions/appunni-m/coverage-mcp/agents-md)

Your own site

<a href="https://agentmods.dev/instructions/appunni-m/coverage-mcp/agents-md"><img src="https://agentmods.dev/badge/instructions/appunni-m/coverage-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.

Your own site · 80×15

<a href="https://agentmods.dev/instructions/appunni-m/coverage-mcp/agents-md"><img src="https://agentmods.dev/badge/instructions/appunni-m/coverage-mcp/agents-md.svg" alt="Reviewed on agentmods" width="80" height="20"></a>

Per session 636 This file is loaded in full into every session.

When invoked 636 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 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.

Model	Per session	Once invoked
Fable 5.1	$0.00636	$0.00636
Opus 5.5	$0.00254	$0.00254
Sonnet 5.5	$0.00127	$0.00127
Haiku 4.5	$0.00064	$0.00064

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

Security

Grade A, and why

coverage-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 2mo 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 · 60 lines

How it starts

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

Coverage MCP Agent Notes

This repository owns the Rust Coverage MCP binary, REST API, MCP contract, storage behavior, dashboard, migration fixtures, and primary README. Keep these surfaces synchronized when changing behavior.

MCP contract change checklist

For changes to tool names, inputs, output shapes, descriptions, instructions, safety annotations, resources, pagination, or workflow:

Update src/mcp.rs. Initialization instructions must be sufficient for an agent without opening the README; tool descriptions must explain purpose, mode choices, budget/pagination behavior, errors, and the next step.
Update the service/storage implementation when validation or side effects change. Keep compact envelopes and hidden detailed fields consistent across HTTP and stdio.
Update docs/mcp-reference.md with every tool, input, return shape, error class, and resource. Update the README or user guide when the user journey changes.
Add the lowest-layer behavior test and one public HTTP or stdio test when a public input/output changes.
Verify both transports. The shared dispatcher is mcp::dispatch_json_rpc; do not fork transport-specific semantics.

Report queries

Run tests with the repository's existing commands and inspect code with rg. Coverage MCP reads reports through coverage_gaps and coverage_compare; keep their inputs, limits, evidence status, and errors self-describing.

Rust verification

The required local gate is:

cargo fmt --all -- --check
DUCKDB_DOWNLOAD_LIB=1 cargo clippy --workspace --all-targets --no-default-features --locked -- -D warnings
DUCKDB_DOWNLOAD_LIB=1 cargo test --workspace --all-targets --no-default-features --locked -- --test-threads=1
DUCKDB_DOWNLOAD_LIB=1 cargo llvm-cov --lib --no-default-features --locked \
  --ignore-filename-regex '/src/main\.rs$' \
  --fail-under-lines 100 --fail-under-functions 100 --fail-under-regions 100 \
  --fail-uncovered-lines 0 --fail-uncovered-functions 0 --fail-uncovered-regions 0 -- --test-threads=1
DUCKDB_DOWNLOAD_LIB=1 RUSTDOCFLAGS='-D warnings' cargo doc --workspace --no-default-features --no-deps --locked
cargo build --release --locked
git diff --check

Read the full file on GitHub · 60 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.

2mo ago Changed · -3 lines · -53 tokens per session 48a572d681fe
2mo ago First seen · 63 lines · 689 tokens per session scan A c752e89952e3

Subscribe to this mod's changes

coverage-mcp AGENTS.md is an instructions file published in the GitHub repository appunni-m/coverage-mcp (0 stars, last pushed 12d ago), licensed MIT. It adds 636 tokens to every session, about $0.0025 per session on Opus 5.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.

Languages Rust

coverage-mcp AGENTS.md next to 6 instructions from other repositories
Mod	Type	Stars	Last push	Licence	Scan	Tokens	Works with
coverage-mcp AGENTS.mdappunni-m/coverage-mcp	Instructions file	0	12d ago	MIT	A	636	Codex, OpenCode
vscode buildNext.instructions.mdmicrosoft/vscode	Instructions file	195k	yesterday	MIT	A	9,719	GitHub Copilot
next.js AGENTS.mdvercel/next.js	Instructions file	143k	yesterday	MIT	A	7,461	Codex, OpenCode
langchain AGENTS.mdlangchain-ai/langchain	Instructions file	149k	yesterday	MIT	A	4,680	Codex, OpenCode
vscode oss-third-party-notices.instructions.mdmicrosoft/vscode	Instructions file	195k	yesterday	MIT	A	5,516	GitHub Copilot
vscode copilot-instructions.mdmicrosoft/vscode	Instructions file	195k	yesterday	MIT	A	3,093	GitHub Copilot
deepseek-harness AGENTS.mddeepseek-ai/deepseek-harness	Instructions file	274k	2d ago	MIT	A	4,313	Codex, OpenCode

coverage-mcp: Instructions file for Codex