math-book-notion-lean 是做什么的？
Codex 技能，用于数学书籍的 Notion 笔记和 Lean 形式化。
Codex 技能，用于数学书籍的 Notion 笔记和 Lean 形式化。
该技能为 Codex 设计，专注于将数学书籍内容转化为结构化 Notion 笔记，并支持将其中的定理和证明进行 Lean 形式化验证。它适合数学家、学生和研究人员，帮助他们高效整理数学知识，同时确保逻辑严谨性。技能支持通过 Codex 的交互式环境直接调用，工作流程包括从数学书籍提取关键概念、生成 Notion 笔记模板，以及生成 Lean 代码框架。通过该技能，用户可以在一个工作流中完成从阅读到形式化验证的完整过程，提升研究与学习效率。
npx skills add BEmYaOtNhDeER/math-book-notion-leanInstalled? Explore more 生产力与协作 skills: steipete/gemini, steipete/gh-issues, steipete/skill-creator · View all 6 →
Codex 技能，用于数学书籍的 Notion 笔记和 Lean 形式化。
Gemini CLI one-shot prompts, summaries, generation, skills, hooks, MCP, or Gemma routing.
Fetch GitHub issues, select candidates, spawn background fix agents, open PRs, and optionally process PR review comments.
Create, edit, audit, tidy, validate, or restructure AgentSkills and SKILL.md files.
Search, install, update, sync, or publish agent skills with the ClawHub CLI and registry.
Delegate coding work to Codex, Claude Code, or OpenCode as background workers; not simple edits or read-only code lookup.
List, configure, authenticate, call, and inspect MCP servers/tools with mcporter over HTTP or stdio.