laws: Instructions file for Codex

AGENTS.md

laws AGENTS.md is an instructions file for Codex, OpenCode from Totopolis/laws. It costs 1,940 tokens per session, scanned A, original, BSD-2-Clause.

Repository instructions for an offline search system covering Russian laws and codes. It explains the data layout, search commands, and how to run the system's MCP server, a tool interface an agent can call.

In plain words
What is it for?
Working on or using a local Russian-law search system, including its article data, search index, command-line tools, and MCP server.
Why use it?
It gives contributors the project-specific rules and explains how to find legal provisions using ordinary-language questions without downloading data while searching.

Instructions file for CodexOpenCode

Written for Codex and OpenCode: the file is AGENTS.md. Also seen: mentions Codex; $skill-name invocation.

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

Reuse

Borrowing it

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

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

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

Your own site · 80×15
<a href="https://agentmods.dev/instructions/totopolis/laws/agents-md"><img src="https://agentmods.dev/badge/instructions/totopolis/laws/agents-md.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 1,940 This file is loaded in full into every session.
When invoked 1,940 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.01940 $0.01940
Opus 5.5 $0.00776 $0.00776
Sonnet 5.5 $0.00388 $0.00388
Haiku 4.5 $0.00194 $0.00194

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

Security

Grade A, and why

laws 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 24d 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 · 124 lines

How it starts

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

Кодексы и законы РФ: поиск по смыслу

Репозиторий даёт офлайн-поиск по законодательству Российской Федерации (24 кодекса и 562 закона): вопрос обычными словами — в ответ конкретные статьи. Ничего не качается из сети во время работы, всё считается локально на процессоре. Первое знакомство и команды для человека — в README.md, здесь то, что нужно знать при работе с кодом.

data/       тексты по статьям: data/<раздел>/<slug>/st-105.json, реестр — data/index.json
            (раздел документа — поле dir реестра: codex/ для кодексов, fz/ для законов)
CATALOG.md  перечень всех документов сборки: редакция, число статей, slug
index/      векторный индекс LanceDB (laws.lance) — по нему идёт поиск
src/laws_mcp/  поиск: server.py (MCP), cli.py (терминал), search.py (ядро)

Снапшот один, папок-дат нет. Тексты выгружены 2026-10-12, всего 28 961 статей в 586 документах (24 кодекса и 562 закона); редакция каждого по отдельности — в data/index.json и в CATALOG.md.

Как пользоваться поиском

Скиллы: $x-prepare-system — развернуть на новой машине, $x-search-laws — искать, $x-run-mcp — поднять MCP-сервер. Если работаешь без них:

PYTHONPATH=src PYTHONIOENCODING=utf-8 .venv/Scripts/python.exe -m laws_mcp.cli "вопрос" "ещё вопрос"
PYTHONPATH=src PYTHONIOENCODING=utf-8 .venv/Scripts/python.exe -m laws_mcp.cli --article uk-rf:105
PYTHONPATH=src PYTHONIOENCODING=utf-8 .venv/Scripts/python.exe -m laws_mcp.setup_check

На Linux/macOS интерпретатор — .venv/bin/python, PYTHONIOENCODING не нужен.

Два правила, которые сильно влияют на результат:

  1. Задавай несколько формулировок за один запуск. Модель грузится ~5 секунд, а каждый следующий запрос внутри вызова стоит 0,2 с. Пять отдельных вызовов — это 30 секунд, один вызов с пятью вопросами — 6.
  2. Перед ответом по существу открывай статью целиком через --article. Фрагменты в выдаче обрезаны, а в законе ответ часто зависит от оговорки в другой части статьи («за исключением случаев, предусмотренных пунктом 3»), которой во фрагменте не видно.

Read the full file on GitHub · 124 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. 24d ago First seen · 124 lines · 1,940 tokens per session scan A f27cfb728250

Subscribe to this mod's changes

laws AGENTS.md is an instructions file published in the GitHub repository Totopolis/laws (0 stars, last pushed 25d ago), licensed BSD-2-Clause. It adds 1,940 tokens to every session, about $0.0078 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-10-14.

Related

laws AGENTS.md compared with instructions from other repositories

laws AGENTS.md next to 6 instructions from other repositories
ModTypeStarsLast pushLicenceScanTokensWorks with
laws AGENTS.mdTotopolis/lawsInstructions file025d agoBSD-2-ClauseA1,940Codex, 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