BEmYaOtNhDeER/math-book-notion-lean

Codex skill for math book Notion notes and Lean formalization

Was ist math-book-notion-lean?

math-book-notion-lean is a Codex agent skill that codex skill for math book Notion notes and Lean formalization.

Funktioniert mit~Claude Code✓Codex CLI~Cursor

npx skills add BEmYaOtNhDeER/math-book-notion-lean

Installed? Explore more Produktivität & Zusammenarbeit skills: steipete/gemini, steipete/gh-issues, steipete/skill-creator · View all 6 →

Öffnet einen neuen Chat, in dem dieser Agent-Skill bereits geladen ist.

Codex skill for math book Notion notes and Lean formalization

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.