Skip to content

Latest commit

 

History

History
15 lines (8 loc) · 477 Bytes

AGENTS.md

File metadata and controls

15 lines (8 loc) · 477 Bytes

ProofScout agent instructions

Agent skills

Issue tracker

Issues and specs are tracked as local Markdown files under .scratch/. See docs/agents/issue-tracker.md.

Triage labels

Use the canonical labels needs-triage, needs-info, ready-for-agent, ready-for-human, and wontfix. See docs/agents/triage-labels.md.

Domain docs

This is a single-context project. Read CONTEXT.md and relevant ADRs under docs/adr/. See docs/agents/domain.md.