Rust Lean updates

Bridges Lean 4's Language Server Protocol to AI assistants with 26 tools for proof assistance, code intelligence, and search.

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