GitHub repository: leanprover-community/LeanSearchClient
Primary language: Lean
Description: Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)