Skip to content

CLAUDE.md

Latest commit

 

History

History
24 lines (17 loc) · 779 Bytes

CLAUDE.md

File metadata and controls

24 lines (17 loc) · 779 Bytes

Agent Guide for Verity

This file is the operator quickstart. Keep it short and enforceable.

Non-Negotiables

  1. Keep AUDIT.md, TRUST_ASSUMPTIONS.md, and AXIOMS.md synchronized with any semantic/trust/CI boundary change.
  2. Never claim completion without evidence and passing checks.

Core Commands

lake build          # Verify all Lean proofs
make check          # Run local CI-equivalent validation (no Lean build)
make test-python    # Run Python unit tests
make test-foundry   # Run Foundry differential tests

Reference Docs