Skip to content
Metatext
LLMs
Best LLMs
Benchmarks
Datasets
Models
Tools
Jobs
Sign In
Sign Up
Tools
/
Skills
/
search
search
Skill
by project-numina
Search tools for finding Lean theorems, lemmas, and definitions in Mathlib
Repository
Source folder
Details
Path
skills/search/SKILL.md
FAQ
What is the search skill?
What tools does search use?