Getting it into your agent
One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.
npx agentmods add instructions/dancinlab/hexa-lang/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.svg" alt="Measured on agentmods" 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 | $0.00309 | $0.00309 |
| Opus 5 | $0.00154 | $0.00154 |
| Sonnet 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 4d 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.
- 4d 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 (196 stars, last pushed 1mo ago), licensed MIT. It adds 309 tokens to every session, about $0.0015 per session on Opus 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.
Other instructions, from other repositories
kara CLAUDE.md
Claude Code instructions for karalang/kara, covering claude.md, commands, branch management, claiming a bug (multi-session coordination) and architecture.
Lesma AGENTS.md
Instructions for alinalihassan/Lesma, covering agents.md — lesma project guide for ai agents, what lesma is, project layout, wall-clock benchmark (benchmark suite) and compilation pipeline.
Rynix AGENTS.md
AGENTS.md instructions for Ali-Rashidi-80/Rynix, covering guide for ai agents working on rynix, canonical toolchain, honesty rules and layout.
sigil-lang CLAUDE.md
Claude Code instructions for Daemoniorum-LLC/sigil-lang, covering sigil language - agent guide, the canonical compiler, run sigil programs, run tests and why rust compiler?.
oxc AGENTS.md
Instructions for oxc-project/oxc, covering agents.md - ai assistant guide for oxc, ai usage policy for contributors, repository structure, core crates and development commands.
compiler-explorer AGENTS.md
AGENTS.md instructions for compiler-explorer/compiler-explorer, covering agents.md, build & test commands, important workflow requirements, style guidelines and architecture guidelines.