微信扫一扫personjakexiao无需 Key
lean-build
使用Lake构建、测试和调试Lean 4项目。在构建ComputationalPaths项目、检查错误、运行测试、清理生成的文件或调试Lean 4编译问题时使用。
download11deployed_code—star123
Skill 资源库
AI Skill 资源库
把 Skill 的源码、资源快照、README、包体和安装信号放进一个可搜索、可筛选的公开目录。
personjakexiao无需 Key
leann-search
使用LEANN向量索引对代码库进行语义搜索
download11deployed_code—star123
personjakexiao无需 Key
learned-docs
此技能应在撰写、修改或重组时使用
download11deployed_code—star123
personjakexiao无需 Key
learning-assessment-strategy
制定与学习目标和教学目的相一致的全面评估策略。
download11deployed_code—star123
personjakexiao无需 Key
learning-collaborative-project
设计包含角色分配、支架式教学、团队评分标准和冲突解决协议的协作小组项目。用于基于团队的学习。在提到“小组项目”、“团队任务”、“协作工作”或“团队学习”时激活。
download11deployed_code—star123
personjakexiao无需 Key
learning.data-privacy-compliance
确保教育内容和系统符合数据隐私法规（COPPA、FERPA、GDPR）
download11deployed_code—star123
personjakexiao无需 Key
learning-discussion-designer
设计讨论提示、苏格拉底式提问、辩论结构和促进有意义学习对话的指导。用于基于讨论的学习。在“讨论问题”、“辩论设计”、“苏格拉底方法”或“论坛提示”时激活。
download11deployed_code—star123
personjakexiao无需 Key
learning-formative-assessment
形成性评估设计，用于有效学习测量。
download11deployed_code—star123
personjakexiao无需 Key
lean-hit-development
指导如何向ComputationalPaths库中添加新的高阶归纳类型。在创建新的HIT、定义基本群（pi1）计算、实现编码-解码证明或添加新的拓扑空间时使用。
download11deployed_code—star123
personjakexiao无需 Key
learn-about-omc
分析您的OMC使用模式并获得个性化建议
download11deployed_code—star123
personjakexiao无需 Key
learning-adaptive-testing
适应性测试设计以有效测量学习成果
download11deployed_code—star123
personjakexiao无需 Key
learning-cohort-manager
用于学习运营和项目管理的队列管理器
download11deployed_code—star123
personjakexiao无需 Key
learning-data-collection
基于证据的学习研究和评估的数据收集
download11deployed_code—star123
personjakexiao无需 Key
learning-design-checklist
根据四个学习设计支柱生成一个快速合规检查清单。当用户需要一个实用的内容审查清单、快速审核工具或针对特定支柱的验证问题时使用。
download11deployed_code—star123
personjakexiao无需 Key
learning-diagnostic-assessment
设计预评估、分班测试和诊断工具，以确定学习者的起点、知识缺口以及个性化路径的最佳切入点。在决定学习者应该从哪里开始时使用。激活关键词包括“分班测试”、“诊断性评估”、“预测试”或“技能评估”。
download11deployed_code—star123
personjakexiao无需 Key
learning-faq-generator
从常见的学习者问题、分析数据、讨论论坛和支持工单中生成全面的FAQ。用于自助服务支持。在出现“FAQ”、“常见问题”、“帮助文档”或“学生支持”时激活。
download11deployed_code—star123
personjakexiao无需 Key
leann-search
使用LEANN向量索引在代码库中进行语义搜索
download11deployed_code—star123
personjakexiao无需 Key
learn-from-session
分析Claude Code会话，了解哪些做得好/不好，并提出高可信度的技能改进建议。在被要求分析一个会话、从会话中学习或评估工作流程有效性时使用。
download11deployed_code—star123
personjakexiao无需 Key
learning-authentic-assessment
真实评估设计以有效衡量学习效果
download11deployed_code—star123
personjakexiao无需 Key
learning-coaching-framework
用于提高学习效果和个人发展的辅导框架
download11deployed_code—star123
personjakexiao无需 Key
learning.data-privacy-compliance
确保教育内容和系统符合数据隐私法规（COPPA、FERPA、GDPR）
download11deployed_code—star123
personjakexiao无需 Key
learning-documentation-skill
将学习见解和活动以适当的分类、格式和检索模式记录到Supabase中
download11deployed_code—star123
personjakexiao无需 Key
learning-experience-designer
为吸引人且身临其境的学习体验设计的经验设计师。
download11deployed_code—star123
personjakexiao无需 Key
learning-feasibility-study
评估学习项目的可行性，包括技术、财务、运营和组织的可行性，以及资源需求、预算、时间表和风险分析。在承诺资源之前评估项目可行性时使用。激活词为“可行性研究”、“项目可行性”、“资源规划”或“我们能做到吗”。
download11deployed_code—star123