Skills MCP Servers Categories About the Index

Skills MCP Servers Categories Tags About the Index

/Tags/Skills Lean Proof Skill Md

Tools tagged with "Skills Lean Proof 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

Tools tagged with "Skills Lean Proof Skill Md" – SkillIndex

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