project-numina/numina-lean-agent/llm

Name: llm
Author: project-numina

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

Trust tier 3

community

Source check pending

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

LLM-assisted tools for informal proofs, proof strategy discussion, and code simplification

Install

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

SKILL.md

LLM Tools

LLM-assisted tools for theorem proving support. All scripts are in skills/cli/.

Available Tools

Tool	Purpose	When to use
informal-prover	Generate and verify step-by-step math solutions in a loop	When you want an LLM to attempt a full solution with auto-verification
discussion-partner	Free-form discussion about proof strategies or Lean code	When you are stuck and want high-level strategic advice
code-golf	Shorten and simplify an existing Lean proof via Gemini	After a proof works, to get a more elegant version

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

Security

Security scanPassed, 90 of 100Pattern checks on the skill's files.
Model reviewPassed

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/llm/SKILL.md

Popularity

Repository stars: 230
Repository forks: 23
7-day trend score: 27

Stars and forks are for the whole GitHub repository, not this skill alone. Refreshed 17 May 2026, 5 months ago.

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/llm/badge)](https://verified-skill.com/skills/project-numina/numina-lean-agent/llm)

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