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/codervisor/leanspec/claude-mdgit clone --depth 1 https://github.com/codervisor/leanspecWhat 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.00776 | $0.00776 |
| Opus 5 | $0.00388 | $0.00388 |
| Sonnet 5 | $0.00155 | $0.00155 |
| Haiku 4.5 | $0.00078 | $0.00078 |
Grade A, and why
leanspec CLAUDE.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 2d 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.
How it starts
The opening of the file, as written. The whole thing — 88 lines — stays where its author put it; the contents beside it link to each section on GitHub.
CLAUDE.md — codervisor project standards
This file defines shared conventions enforced across all codervisor repositories. It is synced from the codervisor meta-repo into each child project.
Repository overview
codervisor is a suite of AI-agent infrastructure projects:
| Repo | Stack | Purpose |
|---|---|---|
| stiglab | Rust + TypeScript | Distributed AI agent session orchestration |
| synodic | TypeScript | AI harness governance framework |
| telegramable | TypeScript | Telegram-first AI agent proxy |
| ising | Rust | Code graph analysis engine |
| skills | TOML / Markdown | Shared Claude Code skills |
| lean-spec | Lean 4 | Formal specification framework |
Coding conventions
General
- Write clear, self-documenting code. Add comments only where intent is non-obvious.
- Prefer small, focused commits with descriptive messages (imperative mood, <72 chars).
- Every PR must pass CI before merge. No force-pushing to
main. - Keep dependencies minimal. Justify new crates / packages in the PR description.
Rust repos (stiglab, ising)
- Edition: 2021 or later.
- Format with
rustfmt(default config unlessrustfmt.tomlis present). - Lint with
clippy— treat warnings as errors in CI (-D warnings). - Use
thiserrorfor library errors,anyhowfor binary/application errors. - Prefer
#[must_use]on functions returning values that should not be silently dropped. - Tests live next to the code in
#[cfg(test)]modules; integration tests intests/.
TypeScript repos (synodic, telegramable)
- Target: ES2022+ / Node 20+.
- Strict mode:
"strict": trueintsconfig.json. - Lint with Biome (preferred) or ESLint. Format with Biome or Prettier.
- Use named exports. Avoid
defaultexports except for framework conventions. - Prefer
async/awaitover raw Promises. Avoid.then()chains. - Tests use Vitest (preferred) or Jest. Co-locate test files as
*.test.ts.
Lean repos (lean-spec)
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.
- 2d ago First seen · 88 lines · 776 tokens per session scan A 7b3d170ff387
leanspec CLAUDE.md is an instructions file published in the GitHub repository codervisor/leanspec (287 stars, last pushed 3mo ago), licensed MIT. It adds 776 tokens to every session, about $0.0039 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
spec-kit AGENTS.md
AGENTS.md instructions for github/spec-kit, covering agents.md, about spec kit and specify, quickstart — add a new integration in 5 steps, integration architecture and integrationmanifest — file tracking.
veritas-kanban AGENTS.md
Instructions for BradGroux/veritas-kanban, covering agents.md — canonical agent instructions for veritas kanban, runtime requirements, repository layout, essential commands and install.
spec-superflow copilot-instructions.md
Instructions for MageByte-Zero/spec-superflow, covering phase guard, ✅ 允许操作, ⛔ 禁止操作 and 🔔 决策点.
gangsta AGENTS.md
Instructions for kucherenko/gangsta, covering contributing to gangsta, what this is, what will not be accepted, skill changes and the laws apply to contributors too.
jjj AGENTS.md
Instructions for doug/jjj, covering agent instructions, before you write anything, read this first, house rules and verifying changes to this repository.
agent-toolkit AGENTS.md
Instructions for eai-org/agent-toolkit, covering agent toolkit guide and docs.