Searching protocol for "formal task"
Automate formal methods and software verification.
Generate formal specs for verification.
Add tasks to FormalTask.
Clarify task requirements with structured output.
Formalize recurring manual tasks.
Formalize and verify Lean 4 proofs.
Design task docs with rigorous multi-round reviews.
Ground tasks to planning artifacts.
Start new features with formal specs.
Automate Lean 4 proof implementation tasks.
Formalize agent task dispatch.
Optimize LLM parameters for tasks.