openmath-lean-theoremConfigures Lean environments, installs external proof skills, runs preflight checks, and guides the workflow for proving downloaded OpenMath Lean theorems lo...
Install via ClawdBot CLI:
clawdbot install bennyzhe/openmath-lean-theoremGrade Fair — based on market validation, documentation quality, package completeness, maintenance status, and authenticity signals.
Calls external URL not in known-safe list
https://github.com/leanprover/skillsAudited Apr 16, 2026 · audit v1.0
Usage Guide
Loading usage data… refresh in a few seconds.
Scored Aug 5, 2026
Book guitar-lessons services through Lokuli MCP. Use when user needs to find and book guitar-lessons. Triggers on requests like "book a guitar-lessons", "find guitar-lessons near me", or any guitar-lessons service request.
Generate study materials. Use when creating study plans, quizzes, flashcards, tracking progress, or scheduling review sessions.
Loads any thinker's, leader's, philosopher's, or organization's complete mental operating system directly into the AI — so the AI reasons FROM inside that co...
Query empty classrooms at BUPT (Beijing University of Posts and Telecommunications) Xitucheng campus. Use when the user needs to find available/empty classro...
Use when designing a new CLI, reviewing an existing CLI, or resolving uncertainty about a CLI's role, user type, interaction form, statefulness, risk profile...
系统化知识内化与能力自评引擎。当需要深入学习新领域、建立专家级知识库、并明确知道自己的掌握程度时使用。核心功能包括系统性知识内化引擎和基于知识图谱的能力评级器。触发词：深入学习并评估掌握水平、建立专家级知识库、系统研究并告诉我能做什么。