pipelock: Instructions file for Codex

AGENTS.md

pipelock AGENTS.md is an instructions file for Codex, OpenCode from luckyPipewrench/pipelock. It costs 3,179 tokens per session, scanned A, original, Apache-2.0.

A contributor guide for Pipelock, an agent firewall that proxies AI-agent network and tool traffic. It scans mediated HTTP, WebSocket, and MCP traffic for secret leaks, prompt injection, server-side request forgery, and malicious tool behavior.

In plain words
What is it for?
Use it when developing or testing Pipelock, reviewing its security capabilities, building the Go binary, or checking how traffic is routed through the proxy.
Why use it?
It explains what the firewall protects, where protection applies, and which build, license, and deployment details contributors must follow.

Instructions file for CodexOpenCode

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

This is luckyPipewrench/pipelock's own configuration. It tells Codex and OpenCode how to work on pipelock 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 pipelock configures →

Reuse

Borrowing it

Nothing to install: this file belongs to luckyPipewrench/pipelock. 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/luckyPipewrench/pipelock/main/AGENTS.md
Clone the repo
git clone --depth 1 https://github.com/luckyPipewrench/pipelock

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

README.md
[![agentmods](https://agentmods.dev/badge/instructions/luckypipewrench/pipelock/agents-md/github.svg)](https://agentmods.dev/instructions/luckypipewrench/pipelock/agents-md)
Your own site
<a href="https://agentmods.dev/instructions/luckypipewrench/pipelock/agents-md"><img src="https://agentmods.dev/badge/instructions/luckypipewrench/pipelock/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 pipelock AGENTS.md

Your own site · 80×15
<a href="https://agentmods.dev/instructions/luckypipewrench/pipelock/agents-md"><img src="https://agentmods.dev/badge/instructions/luckypipewrench/pipelock/agents-md.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 3,179 This file is loaded in full into every session.
When invoked 3,179 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.

ModelPer sessionOnce invoked
Fable 5.1 $0.03179 $0.03179
Opus 5.5 $0.01272 $0.01272
Sonnet 5.5 $0.00636 $0.00636
Haiku 4.5 $0.00318 $0.00318

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

Security

Grade A, and why

pipelock 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 13d 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 · 211 lines

How it starts

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

AGENTS.md - Pipelock Contributor Guide

Pipelock is an agent firewall: a network and tool proxy that mediates AI-agent HTTP, WebSocket, and MCP traffic and scans it for secret exfiltration, prompt injection, SSRF, and tool poisoning. Direct egress controls are deployment guidance; binary-enforced coverage applies to mediated traffic. Configured MCP upstreams are an exception to private-address SSRF blocking: local/private servers are allowed, but cloud metadata endpoints remain blocked.

Quick Reference

Item Value
Module github.com/luckyPipewrench/pipelock
Go 1.26+; CI tests Go 1.26 and 1.27
License Apache 2.0 core, ELv2 under enterprise/
Binary Single Go binary; size varies by OS, build tags, and release flags
Dependencies See go.mod. Run make stats before citing the current direct-dependency count.

Capability surface

The code-checked capability manifest is docs/security/capability-manifest.json. It lists the operator entry point and license gate for each surface below. Free means no license feature is required.

Capability Access Operator entry point Platform or deployment qualifier
HTTP, WebSocket, and proxy mediation Free pipelock run Applies only to traffic routed through Pipelock; direct agent egress needs containment or network policy.
MCP proxy scanning Free pipelock mcp proxy Applies only to MCP transports that run through the Pipelock proxy.
Signed action receipts Free flight_recorder
Host containment for agent processes Free pipelock contain Kernel-enforced containment requires Linux, a private network namespace, nftables, and the managed identities. The recommended unprivileged systemd service emits signed pre-launch posture from a root signer that verifies its own managed namespace, live runtime mounts, and proxy doorway; contain run instead signs a host-side preflight and also emits a post-session workspace statement. Filesystem confinement is a separate containment.filesystem.mode setting. enforce hides the host filesystem with ProtectSystem=strict and ProtectHome=tmpfs and binds the agent home plus unexpired workspace grants. Every managed launch hides host /run and /dev/shm and binds only the namespace identity under /run; systemd may add its own read-only, empty mount-propagation directory at /run/systemd/incoming. Omitted or off otherwise retains host filesystem visibility. A process that can create a user namespace can remount, same-uid /proc stays visible, private /tmp is shared with the network-namespace anchor and its forwarders, and operator-written units are left unchanged.
Single-agent process sandbox Free pipelock sandbox Kernel isolation requires Linux user namespaces. Without them, best-effort network isolation only sets HTTP(S)_PROXY; seccomp adds restrictions only on linux/amd64. Unix socket isolation uses Landlock ABI 9 for pathname sockets and ABI 6 for abstract sockets; older linux/amd64 kernels deny Unix socket creation and datagram socketpairs in the workload while retaining connected stream and sequenced-packet pairs and the proxy bridge.
Cooperative command launch Free pipelock exec Steers cooperative Unix and Windows clients through a running proxy; programs can ignore environment settings. Use contain or sandbox for operating-system enforcement.
Global canary tokens Free canary_tokens
Named agent profiles Pro agents.
Per-agent sandbox overrides Pro agents..sandbox
Per-agent crypto address allowlists Pro agents..allowed_addresses
Read-only operator dashboard Pro or Enterprise pipelock dashboard serve
Full assessment artifacts Assess pipelock assess finalize
Conductor fleet coordination Enterprise pipelock conductor serve
Per-agent coverage certificates Pro pipelock dashboard coverage-cert generate
Exemption lifecycle records Pro pipelock dashboard exemption list
Legal-hold metadata Pro pipelock dashboard legal-hold list
Fleet audit sink Enterprise pipelock fleet-sink
Fleet receipt reports Enterprise pipelock conductor fleet report
Emergency kill switch Free kill_switch
Rule bundles Free rules
Adaptive enforcement Free adaptive_enforcement
TLS interception Free tls_interception Requires a configured local CA that the intercepted client trusts; passthrough traffic remains encrypted and cannot be body-scanned.
A2A protocol scanning Free a2a_scanning Applies to A2A traffic carried on Pipelock's supported forward-proxy and MCP HTTP paths.
Browser shield Free browser_shield Applies only to supported browser response traffic that flows through Pipelock. JavaScript responses are scanned but not rewritten.
Offline receipt verification Free pipelock verify-receipt
Verdict explanations Free pipelock explain
Deployment diagnostics Free pipelock doctor

Read the full file on GitHub · 211 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. 13d ago Changed · +23 tokens per session 2b3e0d00f2c3
  2. 15d ago Changed · +75 tokens per session c0fd3124336a
  3. 17d ago Changed · +14 tokens per session d3b24a9e6bad
  4. 20d ago Changed · +1 lines · +176 tokens per session 4a1c5dac1586
  5. 24d ago Changed · +18 tokens per session bcd6427064ce
  6. 28d ago Changed · +10 tokens per session 80e40d80831a
  7. 1mo ago Changed · +37 tokens per session 60b27a9a264c
  8. 1mo ago Changed · +9 tokens per session 45a35123e4f4
  9. 1mo ago Changed · +2 lines · +72 tokens per session 18e30005c2c7
  10. 1mo ago First seen · 208 lines · 2,745 tokens per session scan A bc14bed9ac4a

Subscribe to this mod's changes

pipelock AGENTS.md is an instructions file published in the GitHub repository luckyPipewrench/pipelock (936 stars, last pushed 9d ago), licensed Apache-2.0. It adds 3,179 tokens to every session, about $0.0127 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-30.

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,786 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

deno copilot-instructions.md

Copilot instructions for denoland/deno, covering deno development guide for github copilot, network access, high level overview, key directories and key files to understand first.

denoland/deno · 3,077 tokens