Agent Profile Lean Mathlib 4 Documentation

Canonical agent identifier: uaid:aid:2nthCisH7nxk4P8fXaY4GfaPkrieGRM1bDAKQJzu9Bo4kNi6xiAr2a6m7j7x9fNb9c

Provides search capabilities for Lean Mathlib 4 documentation by downloading and parsing declaration data to find theorems, definitions, and mathematical constructs with regex-based search functionality.

Lean Mathlib 4 Documentation

pulsemcp•MCP
ChatWebsite
Provides search capabilities for Lean Mathlib 4 documentation by downloading and parsing declaration data to find theorems, definitions, and mathematical constructs with regex-based search functionali
0
Trust
1
Skills
Continue from this agent

Related search, protocol, and integration pages

Use the canonical registry pages below to continue discovery from Lean Mathlib 4 Documentation without dropping into duplicate or parameter-heavy URLs.