project-numina/numina-lean-agent/search

Name: search
Author: project-numina

Claude Code and agent skill by project-numina/numina-lean-agent

Trust tier 2

community

LLM review pending

Source check pending

Checking that the SKILL.md file is still in the repository.

Search tools for finding Lean theorems, lemmas, and definitions in Mathlib

Install

npx vskill@latest install project-numina/numina-lean-agent/search

SKILL.md

Search Tools

Tools for finding relevant Lean theorems, lemmas, and definitions. All scripts are in skills/cli/.

Available Tools

Tool	Purpose	When to use
leanexplore	Semantic search by natural language or Lean terms	First choice for any search; max 5 parallel queries
loogle	Pattern-based search by type shape	When you know the type signature pattern
leanfinder	Mathlib semantic search	Alternative semantic search
leansearch	Natural language + Lean term search	Alternative to leanexplore
state-search	Search by proof goal/state	When you have a specific proof state to match
hammer-premise	Premise retrieval for automation	When looking for premises for automated tactics

For full parameters and examples, read the corresponding reference-<tool>.md file in this directory.

Security

Security scanPassed, 100 of 100Pattern checks on the skill's files.
Model reviewNot runA model review is scheduled for the next rescan.

See the full security report

Quality evaluation

Task evaluationNot runNo evaluation yet. Run one in Skill Studio.

See evaluation results

Source

SKILL.md in the repositoryCheckingskills/search/SKILL.md

Popularity

Repository stars: 280
Repository forks: 34
7-day trend score: 0

Stars and forks are for the whole GitHub repository, not this skill alone. Not refreshed yet.

Works with

Any agent vskill installs to: 56 targets in all. These 39 have a page on this site.

Claude Code
Cursor
GitHub Copilot
Windsurf
Codex
Gemini CLI
Cline
Amp
Roo Code
Goose
Continue
Kilo Code
Junie
Trae
OpenHands
Qwen Code
AI Agent
Tabnine Chat
Sourcegraph Cody
Amazon Q
Firebase Genkit
Sweep
Devin
Phind
Mentat
Claude Desktop
Aider
GPT Pilot
Plandex
bolt.new
v0
Replit Agent
Anse
TypingMind
BetterChatGPT
LibreChat
Warp AI
Pieces
Fig AI

Embed badge

[![vskill VERIFIED](https://verified-skill.com/api/v1/skills/project-numina/numina-lean-agent/search/badge)](https://verified-skill.com/skills/project-numina/numina-lean-agent/search)

Something wrong with this skill or its page? Tell us.