agentmods.dev

mari: Instructions file for Codex

AGENTS.md

mari AGENTS.md is an instructions file for Codex, OpenCode from DotBots/mari. It costs 533 tokens per session, scanned A, original, BSD-3-Clause.

Repository instructions for Mari and marilib, a combined project with wireless-device firmware and a Python control system. The two parts have separate builds and tests but communicate through a defined serial protocol.

In plain words
What is it for?
Use them when changing firmware, the Python package, path-based CI, build commands, or the protocol connecting a Mari gateway to marilib.
Why use it?
They explain which files and commands belong to each half and how changes in one half can affect the other. This helps avoid unnecessary builds and broken communication between the firmware and Python code.

Instructions file for CodexOpenCode

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

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

not rated 7repo changed 2mo ago A scan 533 tokens original BSD-3-Clause
View source ↗ DotBots/mari crystalfree.atlassian.net
Reuse

Borrowing it

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

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

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

Your own site · 80×15
<a href="https://agentmods.dev/instructions/dotbots/mari/agents-md"><img src="https://agentmods.dev/badge/instructions/dotbots/mari/agents-md.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 533 This file is loaded in full into every session.
When invoked 533 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.00533 $0.00533
Opus 5.5 $0.00213 $0.00213
Sonnet 5.5 $0.00107 $0.00107
Haiku 4.5 $0.00053 $0.00053

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

Security

Grade A, and why

mari 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 · 54 lines

What it actually says

mari + marilib (unified)

Unified repository: Mari TSCH-over-BLE link-layer firmware (firmware/) + the marilib Python control plane and agents (marilib/). Both halves are self-contained — each owns its own build config, tests, and examples. CI is path-filtered so a Python-only change doesn't trigger firmware builds and vice versa.

Layout

firmware/      ← C, nRF52840/nRF5340, SES + emBuild — see firmware/AGENTS.md
marilib/       ← Python package + tests + examples  — see marilib/AGENTS.md
README.md      ← repo overview (both halves)
AGENTS.md      ← this file (cross-cutting)
LICENSE        ← Apache 2.0 (covers both halves)
.gitignore     ← merged (firmware + Python patterns)
.pre-commit-config.yaml  ← merged (clang-format + hatch fmt + isort)
.github/workflows/       ← path-filtered: firmware/** vs marilib/**

Build

Half Build cmd
Firmware make -C firmware docker (CI path), or `make -C firmware node
marilib cd marilib && pip install -e .; cd marilib && hatch test

Cross-half coupling

  • Wire protocol: marilib talks to a UART-attached Mari gateway over HDLC. Framing contract: marilib/marilib/serial_hdlc.py ↔ firmware/app/03app_gateway_app/hdlc.[ch]. Both halves must agree on framing and on MetricsProbePayload layout (marilib/marilib/mari_protocol.py ↔ firmware/mari/models.h).
  • marilib_timestamp field in firmware/app/03app_node/main.c — legacy shared-struct artifact slated for removal (see consolidation roadmap in dotbot-testbed/AGENTS.md).

Branch policy

  • Default: main
  • New work: feature branches off main, PRs even for solo work.

Don't

  • Don't change paths that submodule consumers (currently only swarmit) traverse without bumping their submodule pointer and updating internal path references.
  • Half-specific don'ts live in firmware/AGENTS.md and marilib/AGENTS.md.
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 Changed · -9 tokens per session 9e59e850bef8
  2. 2mo ago First seen · 54 lines · 542 tokens per session scan A 66581adc49a9

Subscribe to this mod's changes

mari AGENTS.md is an instructions file published in the GitHub repository DotBots/mari (7 stars, last pushed 1mo ago), licensed BSD-3-Clause. It adds 533 tokens to every session, about $0.0021 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

mari AGENTS.md compared with instructions from other repositories

mari AGENTS.md next to 6 instructions from other repositories
ModTypeStarsLast pushLicenceScanTokensWorks with
mari AGENTS.mdDotBots/mariInstructions file71mo agoBSD-3-ClauseA533Codex, OpenCode
vscode buildNext.instructions.mdmicrosoft/vscodeInstructions file195ktodayMITA9,719GitHub Copilot
next.js AGENTS.mdvercel/next.jsInstructions file143kyesterdayMITA7,461Codex, OpenCode
vscode oss-third-party-notices.instructions.mdmicrosoft/vscodeInstructions file195ktodayMITA5,649GitHub Copilot
langchain AGENTS.mdlangchain-ai/langchainInstructions file149ktodayMITA4,680Codex, OpenCode
vscode copilot-instructions.mdmicrosoft/vscodeInstructions file195ktodayMITA3,093GitHub Copilot
vscode ai-customization.instructions.mdmicrosoft/vscodeInstructions file195ktodayMITA1,907GitHub Copilot