Skills MCP Servers Categories About the Index

Skills MCP Servers Categories Tags About the Index

/Tags/Skills Lean Pr Skill Md

Tools tagged with "Skills Lean Pr Skill Md"

An independent, source-linked index of the skills and infrastructure shaping agentic software.

Explore:Tools MCP Servers Skills Categories Tags

Quick Links:About the Index Latest tools

SkillCode & Developer Tools

skills

Skills for AIs using the Lean programming language and theorem prover — proofs, toolchain setup, bisection, and more

Shellgit cloneCodex

50 GitHub stars