loogle
Enables searching Lean 4 and Mathlib theorems and definitions using type signatures or patterns through the Loogle API.
Install this skill
or
99/100
Security score
The loogle skill was audited on Feb 12, 2026 and we found 1 security issue across 1 threat category. Review the findings below before installing.
Categories Tested
Security Issues
low line 15
External URL reference
SourceSKILL.md
| 15 | https://loogle.lean-lang.org/json?q=<URL-encoded-query> |
Scanned on Feb 12, 2026
View Security DashboardGitHub Stars 106
Rate this skill
Categorydevelopment
UpdatedMay 21, 2026
claude-codecursorwindsurfclineroo-codeampcodexgoosetraeopencodevibemanusantigravitygemini-cliapicross-platform
majiayu000/claude-skill-registry