verification instructions

13 tagged verification, measured the same way as everything else here.

Browse within: typescript 5

skills AGENTS.md

01

workersio/skills

Instructions file CodexOpenCode

Instructions for workersio/skills, covering agents.md, canonical paths and maintenance rules.

159 1mo ago A 565 tokens original MIT

skills CLAUDE.md

02

workersio/skills

Instructions file

Instructions for workersio/skills, covering claude.md, canonical paths and maintenance rules.

159 1mo ago A 561 tokens original MIT

moonrunnerkc/swarm-orchestrator

Instructions file CodexOpenCode

Instructions for moonrunnerkc/swarm-orchestrator, covering claude.md, commands, architecture map, invariants (violating any of these fails review) and code style.

106 5d ago E 4,590 tokens original ISC

moonrunnerkc/swarm-orchestrator

Instructions file

Instructions for moonrunnerkc/swarm-orchestrator, covering claude.md, commands, architecture map, invariants (violating any of these fails review) and code style.

106 5d ago E 4,590 tokens copy · 100% ISC

babyworm/rtl-agent-team

Instructions file

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.

50 9d ago A 7,644 tokens original MIT

anatomia AGENTS.md

06

anatomia-dev/anatomia

Instructions file CodexOpenCode

Instructions for anatomia-dev/anatomia, covering anatomia-workspace, commands and conventions.

32 29d ago A 80 tokens original MIT

anatomia CLAUDE.md

07

anatomia-dev/anatomia

Instructions file

Instructions for anatomia-dev/anatomia, a project described as: Spec-driven agent harness for Claude Code and Codex — five-agent pipeline (scope, plan, build, verify, learn) with an auditable proof chain.

32 29d ago A 49 tokens original MIT

Gusto/baerly-storage

Instructions file

Toolchain, verification matrix, module map, conventions, anti-patterns. The main agent entry point.

22 3d ago A 6,924 tokens original Apache-2.0

verilua AGENTS.md

09

cyril0124/verilua

Instructions file CodexOpenCode

AGENTS.md instructions for cyril0124/verilua, covering agents.md, project map, where to start, generated code and code style.

21 3d ago A 2,900 tokens

verilua CLAUDE.md

10

cyril0124/verilua

Instructions file

Claude Code instructions for cyril0124/verilua, a project described as: Verilua: An Open Source Versatile Framework for Efficient Hardware Verification and Analysis Using LuaJIT.

21 3d ago A 4 tokens

hashloom CLAUDE.md

11

davet47/hashloom

Instructions file

Claude Code instructions for davet47/hashloom, covering working rules for hashloom, git is the user's, scope discipline, hashloom develops on hashloom and definition of done: >5x token reduction.

2 changed yesterday A 1,643 tokens original Apache-2.0

sorryorc/mythos-mcp

Instructions file CodexOpenCode

AGENTS.md instructions for sorryorc/mythos-mcp, covering agent guardrails, workspace, completion gate and reporting.

1 2mo ago A 189 tokens original MIT

mcp CLAUDE.md

13

teta-pi/mcp

Instructions file

Claude Code instructions for teta-pi/mcp, covering teta+pi — mcp.tetapi.dev and quick facts.

1 11d ago A 260 tokens