Borrowing it
Nothing to install: this file belongs to dancinlab/hexa-lang. Take a copy, put it at the same path in your own repository, and replace the rules that are about this project with yours.
curl -O https://raw.githubusercontent.com/dancinlab/hexa-lang/main/AGENTS.mdgit clone --depth 1 https://github.com/dancinlab/hexa-langWrote 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.
[](https://agentmods.dev/instructions/dancinlab/hexa-lang/agents-md)<a href="https://agentmods.dev/instructions/dancinlab/hexa-lang/agents-md"><img src="https://agentmods.dev/badge/instructions/dancinlab/hexa-lang/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.
<a href="https://agentmods.dev/instructions/dancinlab/hexa-lang/agents-md"><img src="https://agentmods.dev/badge/instructions/dancinlab/hexa-lang/agents-md.svg" alt="Reviewed on agentmods" width="80" height="20"></a>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.00309 | $0.00309 |
| Opus 5.5 | $0.00124 | $0.00124 |
| Sonnet 5.5 | $0.00062 | $0.00062 |
| Haiku 4.5 | $0.00031 | $0.00031 |
Grade A, and why
hexa-lang 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.
What it actually says
AGENTS.md — hexa-lang
📍 SSOT: ARCHITECTURE.md · governance CLAUDE.md
AI agent harness entry point (agents.md standard). hexa-lang is a self-hosted native compiler
with an embedded theorem atlas and the hx package manager — every formula-bearing
function must cite an atlas law, carry an active @verify, or declare a @grace, or the build
refuses to emit a binary (stage S8, fatal HX8004).
Governance, repository structure, and the harness quick reference are maintained in a single SSOT — see CLAUDE.md — to avoid drift between the two agent guides. The architecture SSOT is ARCHITECTURE.md; history lives in CHANGELOG.md.
Quick reference
| Command | Purpose |
|---|---|
.harness-engine/bin/harness docs check |
single-doc discipline (architecture SSOT + log + quickref) |
.harness-engine/bin/harness lint |
staged-L0 + freshness + convergence gate |
hexa verify |
g5 gate: S6 equational + S8 citation + atlas reverify/auto-fold |
hx commit / hx push |
SSOT-attested git wrappers |
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 · 23 lines · 309 tokens per session scan A 72a927ad664c
hexa-lang AGENTS.md is an instructions file published in the GitHub repository dancinlab/hexa-lang (195 stars, last pushed 3mo ago), licensed MIT. It adds 309 tokens to every session, about $0.0012 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.
hexa-lang AGENTS.md compared with instructions from other repositories
| Mod | Type | Stars | Last push | Licence | Scan | Tokens | Works with |
|---|---|---|---|---|---|---|---|
| hexa-lang AGENTS.mddancinlab/hexa-lang | Instructions file | 195 | 3mo ago | MIT | A | 309 | 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 | 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 |