agentmods.dev

search-box: Instructions file for Codex

AGENTS.md

search-box AGENTS.md is an instructions file for Codex, OpenCode from Aphelion-Development/search-box. It costs 1,135 tokens per session, scanned A, original, MIT.

Repository instructions for working on the search-box project, including its Tero code index and a separate development agent tool.

In plain words
What is it for?
Searching the project through its indexed files, using the cabal-devmelopner tool with context, following the project’s branch and pull-request process, and running its checks.
Why use it?
They tell coding agents where to look for information, which tools to use, and how to run local checks before proposing changes.

Instructions file for CodexOpenCode

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

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

Needs its repository: it reads a path above its own folder, which exists only inside the repository. The line is uv run --project ../cabal-devmelopner cabal-devmelopner "task description here" --use-tero.

not rated 0repo 3mo ago A scan 1,135 tokens original MIT
View source ↗ Aphelion-Development/search-box
Reuse

Borrowing it

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

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 search-box AGENTS.md

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

Your own site · 80×15
<a href="https://agentmods.dev/instructions/aphelion-development/search-box/agents-md"><img src="https://agentmods.dev/badge/instructions/aphelion-development/search-box/agents-md.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 1,135 This file is loaded in full into every session.
When invoked 1,135 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.01135 $0.01135
Opus 5.5 $0.00454 $0.00454
Sonnet 5.5 $0.00227 $0.00227
Haiku 4.5 $0.00113 $0.00113

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

Security

Grade A, and why

search-box 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 · 89 lines

How it starts

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

Use Tero + cabal-devmelopner for work here.

Tero (Layer-1 corpus index)

Repo has docs/tero-index/index.json (generated/ refreshed via tero-mcp/scripts/generate_lite_index.py).

Rule: Use tero queries before large greps or assumptions.

  • Grok: tero__text_search / query_by_id (token "local-dev")
  • Direct: tero-mcp-lite --index docs/tero-index/index.json
  • cabal-devmelopner: auto-detects local index when run from within this tree (or set TERO_INDEX_PATH).

Example:

cd /root/git/search-box
# agent with context:
uv run --project ../cabal-devmelopner cabal-devmelopner "task description here" --use-tero

Citations point at file:line — open them.

Working with cabal-devmelopner agent tool

This project is prepared for integration:

  • Tero index committed on chore/tero-index-cabal-ready (and PRable to dev)
  • Local auto index support in cabal
  • This AGENTS.md

PR flow (protect main/dev):

  • Create/checkout feature or chore branch
  • Make changes (agent will often use working branch)
  • PR the branch → dev (then dev → main when ready)

Local checks

Look for:

  • scripts/check.sh
  • Cargo.toml / pyproject.toml + standard commands (cargo test, uv run pytest, ruff, etc.)

Run checks before considering work complete.

Further reading

  • README.md
  • docs/ROADMAP.md or ROADMAP.md (if present)
  • docs/ASSESSMENT.md or similar for intent/gaps
  • ../cabal-devmelopner/docs/* for agent architecture
  • ../tero-mcp for how indexes are built and served

Leave mycelium isolated; all coordination here targets the other repos + cabal.

Hygiene + tero land status (2026-07-09)

  • Task: Land chore/tero + hygiene for search-box (per plan.md priority 1).
  • Tero-first: used /root/git/scripts/tero.sh search-box ... (identify, text_search, etc) before edits/assumptions.
  • Read plan.md + models (ROADMAP, ASSESSMENT, LOCAL_CHECKS, update-tero.sh, check.sh, etc).
  • Checkout dev; merge --no-ff chore/tero-index-cabal-ready; push.
  • ./scripts/check.sh : 31 tests passed, green.
  • update-tero.sh search-box; committed tero refresh (MANIFEST + prior).
  • Merged to main --no-ff; propagated (dev <-> main --no-ff, pushed).
  • Appended this status (append-only).
  • Verified: branches synced (origin/dev, origin/main current), checks green, tero queries resolve (see docs/tero-index).
  • Citations from tero used to open AGENTS:24, ROADMAP:1 etc.
  • Note: now tero index + check/AGENTS/LOCAL_CHECKS on main/dev (was only on chore).

Read the full file on GitHub · 89 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. 2mo ago First seen · 89 lines · 1,135 tokens per session scan A bda36cc9c826

Subscribe to this mod's changes

search-box AGENTS.md is an instructions file published in the GitHub repository Aphelion-Development/search-box (0 stars, last pushed 3mo ago), licensed MIT. It adds 1,135 tokens to every session, about $0.0045 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.

Related

search-box AGENTS.md compared with instructions from other repositories

search-box AGENTS.md next to 6 instructions from other repositories
ModTypeStarsLast pushLicenceScanTokensWorks with
search-box AGENTS.mdAphelion-Development/search-boxInstructions file03mo agoMITA1,135Codex, OpenCode
vscode buildNext.instructions.mdmicrosoft/vscodeInstructions file195kyesterdayMITA9,719GitHub Copilot
next.js AGENTS.mdvercel/next.jsInstructions file143kyesterdayMITA7,461Codex, OpenCode
langchain AGENTS.mdlangchain-ai/langchainInstructions file149kyesterdayMITA4,680Codex, OpenCode
vscode oss-third-party-notices.instructions.mdmicrosoft/vscodeInstructions file195kyesterdayMITA5,516GitHub Copilot
vscode copilot-instructions.mdmicrosoft/vscodeInstructions file195kyesterdayMITA3,093GitHub Copilot
deepseek-harness AGENTS.mddeepseek-ai/deepseek-harnessInstructions file274k2d agoMITA4,313Codex, OpenCode