Lean Info updates

Bridges Lean 4 proof assistant InfoView data to external tools for real-time goal states, diagnostics, and proof context.

Updates are company announcements posted by the listing owner and reviewed before publishing. All AiList updates.