math-frml-agen-patt

Goal

• Reuse the transferable orchestration ideas from math-formalization agents without inheriting their whole runtime or trusting their bootstrap blindly.

Use this when

• A user shares a theorem-proving / Lean / formalization agent repo and wants the useful parts integrated.
• You need a structured way to plan proofs, decompose subgoals, or store reusable formal results.
• You want Hermes to reason about math workflows with explicit reusable artifacts.

Do not use this when

• The task is merely to install or run a third-party math agent; do security review first.
• The task is ordinary coding/debugging with no formalization workflow.