proofline-check

Installation boundary: npx skills@latest add grove/proofline installs this agent instruction, not the Proofline Python runtime. Before calling check or run, locate a complete local checkout containing proofline.py and checks/ (see setup); use its actual absolute script path on a supported macOS host. If the runtime or native sandbox prerequisites are absent, report that limitation; never claim checks ran because the skill was installed.

Use the supported local runner check command for existing agent work: zero model dispatches, macOS, Python 3.11+ and Codex CLI 0.162.1 (sandbox only; no model authentication needed). The optional run command needs authentication and a clean Git source for one coding attempt. Only run --correct-once opts in to one follow-up correction on that same native implementer thread; successful first passes never dispatch another turn. Historical deliver and resume are unsupported. Direct requests need no P2P/Intentline workflow.