Lean Mathlib 4 Documentation

mcp-registry:criticalline-lean-mathlib-docs

Provides search capabilities for Lean Mathlib 4 documentation by downloading and parsing declaration data to find...

A

100/100

First Seen

Feb 18, 2026

Last Scanned

Feb 18, 2026

Findings

0

Score

100/100

No Security Issues Found

Aguara's static analysis detected no security findings in this skill. It scored a perfect 100/100.