BEmYaOtNhDeER/math-book-notion-lean
Codex skill for math book Notion notes and Lean formalization
Codex skill for math book Notion notes and Lean formalization
npx skills add BEmYaOtNhDeER/math-book-notion-leanCodex skill for math book Notion notes and Lean formalization
Use for simplifying recently changed code: clean up, refactor for clarity, reduce complexity, improve readability, or maintainability.
Build, scaffold, and deploy Power Automate cloud flows using the FlowStudio MCP server. Your agent constructs flow definitions, wires connections, deploys, and tests — all via MCP without opening the portal. Load this skill when asked to: create a flow, build a new flow, deploy a flow definition, scaffold a Power Automate workflow, construct a flow JSON, update an existing flow's actions, patch a flow definition, add actions to a flow, wire up connections, or generate a workflow definition from scratch. Requires a FlowStudio MCP subscription — see https://mcp.flowstudio.app
OpenClaw skill for Telegram self-heal and ClawTeam-to-Telegram auto-reporting on macOS hosts.
Skills library for NC-Pilot - chat-driven browser automation agent for Chrome/Edge. Bring your own model: Ollama, OpenAI, or Anthropic.
Google Cloud CLI operations and resource management
Local-first AI workspace for creators — browser-based, privacy-first, multi-agent collaboration