Test theorems for hidden assumptions
verify-theoryworkflowsetup L2★0
joshspeagle/ssc-2026-AI-LLM-demo ↗What it does
Execute workflow workflow: verify-theory
Best for
Workflow pattern automation: verify-theory.
Outputs
- · Structured workflow result
Requires
- · agent()
- · bash
Preconditions
workflow workflow harness loaded
Failure modes
- · Agent output unparseable
- · Phase verify gate fails
- · Unexpected workflow error
Trust signals
- · Structured output schema enforced