AI can draft. Proof assistants can check. Experts approve meaning.

That caption is short enough for the homepage and accurate enough for the technical pages. It separates the three responsibilities that run through the whole site:

• AI accelerates drafting, search, examples, and variants;
• proof assistants provide deterministic checking under explicit assumptions;
• human experts decide whether the formalized meaning is the intended one.

The line also keeps Formal Foundry away from a weak “trust our AI” story. The claim is not that generated text is reliable by itself. The claim is that generated candidates can be routed through checkable artifacts and reviewed meaning.