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/cyril0124/verilua/agents-mdgit clone --depth 1 https://github.com/cyril0124/veriluaWrote 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/cyril0124/verilua/agents-md)<a href="https://agentmods.dev/instructions/cyril0124/verilua/agents-md"><img src="https://agentmods.dev/badge/instructions/cyril0124/verilua/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.02900 | $0.02900 |
| Opus 5 | $0.01450 | $0.01450 |
| Sonnet 5 | $0.00580 | $0.00580 |
| Haiku 4.5 | $0.00290 | $0.00290 |
Grade A, and why
verilua 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 5d 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.
The source is not reproduced here
A licence we could not identify
The repository carries a LICENSE file, but it is custom or dual enough that GitHub cannot name it and neither can this catalogue. Unknown terms are not permission, so the body is not copied here. Read the licence at the source and decide for yourself.
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.
- 5d ago First seen · 170 lines · 2,900 tokens per session scan A 4c60a19b5734
verilua AGENTS.md is an instructions file published in the GitHub repository cyril0124/verilua (22 stars, last pushed yesterday), with no licence file. It adds 2,900 tokens to every session, about $0.0145 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
rtl-agent-team CLAUDE.md
Claude Code instructions for babyworm/rtl-agent-team, covering language rule, important — project identity, why agentic coding for silicon ip, plugin runtime vs. development context (critical) and plugin architecture: dynamic prompt injection.
naja-scope CLAUDE.md
Claude Code instructions for najaeda/naja-scope: When writing code that talks to najaeda — inside src/najascope/ or in throwaway exploration scripts — always go through from najaeda import naja (the raw naja.so binding: NLUniverse, NLDB, SNL objects) and never through najaeda.netlist (the high-level…
lunatik CLAUDE.md
Claude Code instructions for luainkernel/lunatik, a project described as: Lunatik is a framework for scripting the Linux kernel with Lua.
rtl-skills CLAUDE.md
Instructions for phamcuong21478/rtl-skills, covering rtl design project, project overview, project structure, design workflow and available skills.
cml-mcp AGENTS.md
AGENTS.md instructions for xorrkaz/cml-mcp, covering agents.md — cml mcp server, project overview, compatibility goal, repository layout and tool modules (src/cmlmcp/tools/).
phone-mcp CLAUDE.md
Claude Code instructions for premex-ab/phone-mcp, covering claude.md, project overview, build commands, architecture and module layout.