contracts instructions

aallan/vera

Instructions file CodexOpenCode

Instructions for aallan/vera, covering agents.md — instructions for ai agents, for agents writing vera code, conformance programs as reference, workflow and commands.

aallan/vera

Instructions file

Instructions for aallan/vera, covering claude.md — project orientation for claude code, virtual environment, key commands, project layout and writing vera code.

traverse-framework/traverse

Instructions file CodexOpenCode

Instructions for traverse-framework/traverse, covering traverse — agent coordination, agent coordination, 1. check for claude code claim, 2. check for claude code branch and 3. claim the ticket (only if pre-flight passes).

traverse-framework/traverse

Instructions file

Instructions for traverse-framework/traverse, covering traverse development guidelines, governance, active technologies, project structure and commands.

smucclaw/l4-ide

Instructions file CodexOpenCode

AGENTS.md instructions for smucclaw/l4-ide, covering agents.md, about l4, repository structure, haskell (cabal) and typescript (npm workspaces + turborepo).

Hulupeep/Specflow

Instructions file

Instructions for Hulupeep/Specflow, covering claude.md, project context, specflow rules, rule 1: no ticket = no code and rule 2: commits must reference an issue.

DrBaher/compare-cli

Instructions file CodexOpenCode

AGENTS.md instructions for DrBaher/compare-cli, covering agents.md, output contract, exit codes, --json output shape (stable across v1.x) and stable keys.

Jordonh18/fastmail-mcp-server

Instructions file GitHub Copilot

Copilot instructions for Jordonh18/fastmail-mcp-server, covering copilot instructions for fastmail mcp server, project overview, architecture, directory structure and tool groups registered in server.ts.