ctx_proof Workflow & Orchestration Export a machine-readable ContextProofV1 (Verifier + SLO + Pipeline + Provenance). Writes to .lean-ctx/proofs/ by default.
Parameters
7
Required
1
Parameters
| Parameter | Type | Required | Description |
|---|---|---|---|
action | string | Yes | export (required) |
filename | string | No | Optional output filename (default: timestamped context-proof-v1_*.json) |
format | string | No | json|summary|both (default: json) |
max_evidence | integer | No | Max tool receipts to include (default: 50) |
max_ledger_files | integer | No | Max context ledger top files to include (default: 10) |
project_root | string | No | Project root for proof output (default: .) |
write | boolean | No | Write proof file under .lean-ctx/proofs/ (default: true) |
Schema MD5:
2415518cb6999997856cf543d5acb609 ← Back to all tools