What is microcheck AGENTS.md?

A set of repository rules for Microcheck, a collection of command-line programs. It documents the required tools, build commands, tests, formatting, and project structure.

Use it when building the C programs, running unit and feature tests, formatting source files, cleaning generated files, or setting a version during a build.

It gives an agent the exact checks expected after code changes and explains how the project produces and tests its programs.

How tarampampam/microcheck configures Codex and OpenCode

Reuse

Borrowing it

Nothing to install: this file belongs to tarampampam/microcheck. 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/tarampampam/microcheck/master/AGENTS.md

Clone the repo

git clone --depth 1 https://github.com/tarampampam/microcheck

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/tarampampam/microcheck/agents-md/github.svg)](https://agentmods.dev/instructions/tarampampam/microcheck/agents-md)

Your own site

<a href="https://agentmods.dev/instructions/tarampampam/microcheck/agents-md"><img src="https://agentmods.dev/badge/instructions/tarampampam/microcheck/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/tarampampam/microcheck/agents-md"><img src="https://agentmods.dev/badge/instructions/tarampampam/microcheck/agents-md.svg" alt="Reviewed on agentmods" width="80" height="20"></a>

Per session 1,234 This file is loaded in full into every session.

When invoked 1,234 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.01234	$0.01234
Opus 5.5	$0.00494	$0.00494
Sonnet 5.5	$0.00247	$0.00247
Haiku 4.5	$0.00123	$0.00123

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

Security

Grade A, and why

microcheck 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 · 103 lines

How it starts

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

AGENTS - Project Rules

Read this file AND the global rules before making any code changes - https://tarampampam.github.io/.github/ai/AGENTS.md (mirror - https://raw.githubusercontent.com/tarampampam/.github/refs/heads/master/ai/AGENTS.md).

Instruction Priority

This file (AGENTS.md in this repository)
Global rules (external URLs)
Other documentation

If rules conflict, follow the highest priority source.

Build & Test Commands

Requires musl-gcc, make, cmake, python3. Compile sources on any changes to ensure no warnings or errors. Run all tests after batching changes to ensure no regressions.

make       # build all binaries → build/bin/{httpcheck,httpscheck,portcheck,parallel,pidcheck}
make test  # build + run all unit tests (C) + all feature tests (Python)
make fmt   # format all C source with clang-format
make clean # remove build/ and apps/version.h
APP_VERSION=1.2.3 make  # set version string (generates apps/version.h)

Run a single unit test binary:

make build/bin/cli_test && ./build/bin/cli_test         # CLI module unit tests
make build/bin/http_test && ./build/bin/http_test       # HTTP module unit tests
make build/bin/command_test && ./build/bin/command_test # command parsing unit tests

Run a single feature test suite:

python3 ./tests/feature/httpcheck.py --bin ./build/bin/httpcheck             # HTTP mode
python3 ./tests/feature/httpcheck.py --bin ./build/bin/httpscheck --https    # HTTPS mode (needs openssl)
python3 ./tests/feature/httpcheck.py --bin ./build/bin/httpscheck --fallback # fallback mode (HTTPS->HTTP)
python3 ./tests/feature/portcheck.py --bin ./build/bin/portcheck
python3 ./tests/feature/parallel.py  --bin ./build/bin/parallel
python3 ./tests/feature/pidcheck.py  --bin ./build/bin/pidcheck

Architecture

Single-source dual-binary pattern

apps/httpcheck.c compiles to both httpcheck and httpscheck. The difference: httpscheck is compiled with -DWITH_TLS and linked against mbedTLS 4. All TLS code paths in the file are gated on #ifdef WITH_TLS. Both binaries share the same CLI flags.

Read the full file on GitHub · 103 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 First seen · 103 lines · 1,234 tokens per session scan A 90f100d7535d

Subscribe to this mod's changes

microcheck AGENTS.md is an instructions file published in the GitHub repository tarampampam/microcheck (157 stars, last pushed 4mo ago), licensed MIT. It adds 1,234 tokens to every session, about $0.0049 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.

checkhttp checkport docker docker-image healthcheck precompiled-binaries

microcheck AGENTS.md next to 6 instructions from other repositories
Mod	Type	Stars	Last push	Licence	Scan	Tokens	Works with
microcheck AGENTS.mdtarampampam/microcheck	Instructions file	157	4mo ago	MIT	A	1,234	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	today	MIT	A	7,461	Codex, OpenCode
langchain AGENTS.mdlangchain-ai/langchain	Instructions file	149k	today	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

microcheck: Instructions file for Codex