Skip to content
Metatext
LLMs
Best LLMs
Benchmarks
Datasets
Models
Tools
Jobs
Sign In
Sign Up
Tools
/
Skills
/
llm
llm
Skill
by project-numina
LLM-assisted tools for informal proofs, proof strategy discussion, and code simplification
Repository
Source folder
Details
Path
skills/llm/SKILL.md
FAQ
What is the llm skill?
What tools does llm use?