Claude Code Cursor MCP Servers Authors About

leanprover

1 skills Unclaimed

SKILL_MD

by leanprover

20

Building Mathlib

Safe-ishScanned

Updated 2026-07-10T09:21:06.292Z

Risk labels are a lightweight signal, not a security certification.

About Removal requests Data & API RSS GitHub

Certified audits and official scoring will live on SkillBench once it launches — SkillMenu only shows what a static scan can see. © 2026 SkillMenu.