AGENTS.mdA

AGENTS.md from coldteadotai/pr-lens is an AGENTS.md file: the standing instructions coding agents read in that repo.

Install it, pinned
mdr add coldteadotai/pr-lens/AGENTS.md@git:20260908.2efb78a

Pins git:20260908.2efb78a in mdr.lock. Pin the fingerprint instead.

Audit grade
A, 14 of 14 checks passed
Kind
AGENTS.md file
Repository
coldteadotai/pr-lens
Path
AGENTS.md
Versions recorded
4
Latest version
git:20260908.2efb78a, committed Sep 8, 2026
First version recorded
Aug 20, 2026
Size
6,647 bytes
Repository stars
2,326
License
MIT

Collected from public GitHub. Every version is saved exactly as it was and never changes. Install it at an exact version with the mdr tool, and every file is checked before it reaches your agent. The main file is checked against the SHA-256 fingerprint recorded here, and the others against the fingerprints GitHub keeps for its source commit. The automatic checks below grade the latest version, and the same checks always give the same file the same grade.

What the file says

# PR Lens — Agent Instructions

Hard rules for anyone (human or agent) working in this repo. Read fully before writing code.

## Hard requirements

- **No secrets in this repo, ever.** This repo needs no credentials. Do not read `~/Documents/dev/pr-lens-secrets/`.
- **Verify before claiming done**: tests green, `pnpm build` + typecheck clean, and visual output verified in a real browser when the change affects rendered SVGs.
- **No AI attribution in commits or pull requests.** No `Co-Authored-By` line for a model, no "Generated with" footer, no session link, no bot listed as an author. Whoever opened the pull request is the author of every commit in it. Coding agents add these by default: `.claude/settings.json` in this repo turns them off for Claude Code, and if you use another tool, find its switch before your first commit. A squash merge carries a co-author trailer over from the branch, so check the merge box too.
…

Read the whole file at its exact version.

How to install

The exact contents, by fingerprint
mdr add coldteadotai/pr-lens/AGENTS.md@sha256:2ffcf3bddf19c8a7

The line at the top of this page pins the label git:20260908.2efb78a, which is what most people want. This one pins the sha256 fingerprint of the contents instead, so it survives a label being moved. Either way the exact version is written to mdr.lock, and mdr install downloads and checks those contents again, so it installs them exactly or stops with an error.

Badge

mdr badge

[![mdr](https://markdownregistry.com/badge/art_bwihhivtmxoth4ul.svg)](https://markdownregistry.com/a/art_bwihhivtmxoth4ul)

3 badge image fetches in 30 days. What the badge shows.

Versions

The registry has recorded 4 versions of this file, between Aug 20, 2026 and Sep 8, 2026, about one every 6 days.

versioncommittedcommitsizeaudit
git:20260908.2efb78a latest2026-09-08 2efb78a 6,647 BA view · diff
git:20260823.719b6ba2026-08-23 719b6ba 6,145 BA view · diff
git:20260823.5fd1acd2026-08-23 5fd1acd 5,781 BA view · diff
git:20260820.ad529fe2026-08-20 ad529fe 5,970 BA view

Audit of the latest version

A  14 of 14 checks passed. Fixed automatic checks with no AI involved, so the same checks give the same answer every run.
  • pass: Size between 200 bytes and 200 KB (6647 bytes)
  • pass: No zero-width or bidi control characters
  • pass: No instruction hidden inside an HTML comment
  • pass: No link to an exfiltration or paste host
  • pass: No credential-shaped string
  • pass: No instruction to send local credentials anywhere
  • pass: No text hidden with inline styles
  • pass: No prompt-injection phrasing
  • pass: No curl or wget piped into a shell
  • pass: No recursive delete of root, home or parent
  • pass: No instruction to read or print local credentials
  • pass: No base64 blob over 200 characters
  • pass: No link to a raw IP address
  • pass: No script tag

Source

GitHub

coldteadotai/pr-lens · 2,326 stars · license MIT · pushed 2026-10-30 · branch main

API

GET https://markdownregistry.com/api/v1/artifacts/art_bwihhivtmxoth4ul
GET https://markdownregistry.com/api/v1/resolve?ref=coldteadotai/pr-lens/AGENTS.md
GET https://markdownregistry.com/api/v1/blob/2ffcf3bddf19c8a7053aa757da094bc6ff3fc323d1e6bd7fb3ad96d6fa11a5d1

Your AI assistant does the legwork. You hear about the deals worth your word. Hand yours the standing instructions at modelranch.com and it joins the network that reads files like this one.

Guides: how to write a good AGENTS.md · AGENTS.md vs CLAUDE.md · which agent file does what.

More from coldteadotai/pr-lens

CLAUDE.md CLAUDE.md file
coldteadotai/pr-lens · CLAUDE.md
git:20260909.c4e616d · audit B · 2,326 stars
pr-lens SKILL.md skill
coldteadotai/pr-lens · packages/agent-skill/SKILL.md · WHAT: Draws a code change or part of a codebase as an animated architecture, data-flow or data-model diagram, on its…
git:20261026.9d16110 · audit A · 2,326 stars
eli5 SKILL.md skill
coldteadotai/pr-lens · skills/eli5/SKILL.md · WHAT: Explains a codebase, a folder, a feature, a command or a pull request to someone who knows nothing about it, as a…
git:20261004.71f8367 · audit A · 2,326 stars
pr-lens SKILL.md skill
coldteadotai/pr-lens · skills/pr-lens/SKILL.md · WHAT: Draws a code change or part of a codebase as an animated architecture, data-flow or data-model diagram, on its…
git:20261026.9d16110 · audit A · 2,326 stars

Every file in coldteadotai/pr-lens

Other files named AGENTS.md

AGENTS.md AGENTS.md file
morluto/rea · AGENTS.md
git:20261101.d684125 · audit A · 417,919 stars
AGENTS.md AGENTS.md file
obra/superpowers · AGENTS.md
git:20261020.b739a8a · audit A · 309,852 stars
AGENTS.md AGENTS.md file
affaan-m/ecc · AGENTS.md
git:20261030.f29e332 · audit A · 293,827 stars
AGENTS.md AGENTS.md file
firecrawl/firecrawl · AGENTS.md
git:20261008.5a75dca · audit A · 198,353 stars
AGENTS.md AGENTS.md file
dietrichgebert/ponytail · AGENTS.md
git:20261008.2a1fe84 · audit A · 182,080 stars
AGENTS.md AGENTS.md file
graphify-labs/graphify · AGENTS.md
git:20260926.98d73fe · audit A · 139,879 stars
AGENTS.md AGENTS.md file
garrytan/gstack · AGENTS.md
git:20261027.a50cf58 · audit A · 138,879 stars
AGENTS.md AGENTS.md file
juliusbrussee/caveman · AGENTS.md
git:20260902.d9faebc · audit A · 116,476 stars

Browse by kind, by grade A, or by owner.