Validate

Use this skill when the user wants high-assurance validation rather than an unchecked answer.

Pick the narrowest path that fits

• Use the full workflow when the task needs trace generation, critique, formalization, objective checks, repair, and a final verification status.
• Use the checker-only path when the user already has a specific claim and only needs SMT or Lean validation.
• Reuse the Python package in this repository instead of recreating the workflow manually.

Bundled resources

Read only what you need:

• references/python-api.md — package entry points, schemas, reusable modules, and CLI patterns.
• references/formal-checking.md — SMT and Lean targeting rules, safe expression constraints, and result interpretation.
• scripts/run_validate.py — run the repository's end-to-end validator from JSON or CLI flags.
• scripts/run_formal_check.py — run SMTChecker or LeanChecker directly on a formal claim.