agentmods.dev

z-spec: Instructions file for Claude Code

AGENTS.md

z-spec AGENTS.md is an instructions file for Claude Code, Codex, OpenCode from punt-labs/z-spec. It costs 2,881 tokens per session, scanned A, a copy of awesome-spain AGENTS.md, MIT.

Repository instructions for using Beads, a command-line issue tracker, and for completing and pushing work before ending a coding session.

In plain words
What is it for?
Use them when managing tasks, closing issues, running quality checks, synchronizing Beads, and pushing changes to the remote repository.
Why use it?
They make unfinished work visible and ensure completed changes, issue updates, tests, and Git synchronization are not left only on a local machine.

Instructions file for Claude CodeCodexOpenCode

Written for Claude Code and Codex and OpenCode: ${CLAUDE_PLUGIN_ROOT} variable, but also the file is AGENTS.md. Also seen: mentions CLAUDE.md; mentions Claude Code; mentions AGENTS.md.

This is punt-labs/z-spec's own configuration. It tells Claude Code, Codex and OpenCode how to work on z-spec 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 z-spec configures →

Runs only inside a plugin — its command needs a path that Claude Code sets for a plugin’s own hooks and for nothing else, and the catalogue could not identify which plugin ships it.

not rated 5repo changed 3d ago A scan 2,881 tokens copy · 59% MIT
View source ↗ punt-labs/z-spec
Reuse

Borrowing it

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

Made for: Claude Code, 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 z-spec AGENTS.md

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

Your own site · 80×15
<a href="https://agentmods.dev/instructions/punt-labs/z-spec/agents-md"><img src="https://agentmods.dev/badge/instructions/punt-labs/z-spec/agents-md.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 2,881 This file is loaded in full into every session.
When invoked 2,881 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 59% copy Near-identical to another mod 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.02881 $0.02881
Opus 5.5 $0.01152 $0.01152
Sonnet 5.5 $0.00576 $0.00576
Haiku 4.5 $0.00288 $0.00288

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

Security

Grade A, and why

z-spec 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 3d 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.

Origin

This is a copy

59% identical to awesome-spain AGENTS.md — 256 lines differ, which has more behind it and is treated as the original. This page carries a canonical link to it rather than competing with it.

AGENTS.md · 204 lines

How it starts

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

z-spec

Formal Z specification toolkit: a fuzz/probcli wrapper, an MCP server (zspec), a CLI (z-spec), and a Claude Code plugin whose skill prompts guide spec creation, type-checking, and animation. Deterministic work — parsing, binary wrappers, report I/O, lux rendering — lives in the Python package; skills call its MCP tools instead of raw bash.

Part of Punt Labs. Must be checked out inside the punt-labs/ workspace meta-repo so org-wide configuration (git identity, beads DB, API keys) loads from ../CLAUDE.md and ../.envrc.

  • Package: punt-z-spec (PyPI)
  • CLI: z-spec
  • MCP server: zspec (stdio; z-spec mcp)
  • Python: 3.13+, managed with uv

Architecture

One engine, two thin client surfaces (CLI + MCP), both resolving the same Command objects from commands/registry.py — tests/commands/test_parity.py asserts they cannot drift. A command validates inputs, invokes the binary or store, and returns a CommandResult; it never prints and never knows which surface called it. display.py is the only module that publishes scenes to the lux Hub.

Build and test commands

make check      # full quality gate: lint, type, test, check-oo,
                 #   check-coupling, check-suppressions, check-dev-commands
make lint       # markdownlint + ruff check + ruff format --check + shellcheck
make type       # mypy + pyright + fuzz on every examples/*.tex spec
make test       # pytest + probcli model-check on every examples/*.tex spec
make uat        # build wheel, install CLI, then run the acceptance flight
                 #   by hand — RECONNECT the MCP server after; a reinstall
                 #   does not restart a running stdio server
make check-oo   # OO ratchet: must improve over baseline, never regress

make check passing means the code compiles, types hold, unit tests pass, and every spec type-checks and model-checks. It is necessary, never sufficient — it says nothing about what a person sees running the CLI, calling the MCP tool, or clicking the lux menu entry. The verification of record for every user-facing surface is the feature running in the installed artifact, exercised by hand against a written-in-advance expectation, before the PR opens.

Read the full file on GitHub · 204 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. 3d ago Changed · +2 lines · +14 tokens per session ac73218f23e0
  2. 11d ago Changed · +2 lines · +55 tokens per session c7b1e7639b40
  3. 2mo ago Changed · +159 lines · +2,479 tokens per session 8c5edacb2ebe
  4. 2mo ago First seen · 41 lines · 333 tokens per session scan A bf83e48f5820

Subscribe to this mod's changes

z-spec AGENTS.md is an instructions file published in the GitHub repository punt-labs/z-spec (5 stars, last pushed 2d ago), licensed MIT. It adds 2,881 tokens to every session, about $0.0115 per session on Opus 5.5. A static security scan graded it A with 0 findings. It is 59% identical to awesome-spain AGENTS.md, differing in 256 lines, and is treated as a copy.

LaTeXbetaclaude-code-pluginformal-methodsz-notationz-notations
Related

z-spec AGENTS.md compared with instructions from other repositories

z-spec AGENTS.md next to 6 instructions from other repositories
ModTypeStarsLast pushLicenceScanTokensWorks with
z-spec AGENTS.mdpunt-labs/z-specInstructions file52d agoMITA2,881Claude Code, Codex, OpenCode
vscode buildNext.instructions.mdmicrosoft/vscodeInstructions file195ktodayMITA9,719GitHub Copilot
next.js AGENTS.mdvercel/next.jsInstructions file143ktodayMITA7,461Codex, OpenCode
vscode oss-third-party-notices.instructions.mdmicrosoft/vscodeInstructions file195ktodayMITA5,516GitHub Copilot
langchain AGENTS.mdlangchain-ai/langchainInstructions file149ktodayMITA4,680Codex, OpenCode
vscode copilot-instructions.mdmicrosoft/vscodeInstructions file195ktodayMITA3,093GitHub Copilot
deepseek-harness AGENTS.mddeepseek-ai/deepseek-harnessInstructions file275k3d agoMITA4,313Codex, OpenCode