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
Skills for AI assistant to help with Trismik products
SKILL.md factory workflow and sample skill auditor
Access 45 production-ready AI frontend projects featuring complete tech stacks and monetization paths for developers and founders.
This skill should be used when the user wants to "deploy an agent", "deploy my ADK agent", "set up CI/CD", "configure secrets", "troubleshoot a deployment", or needs guidance on Agent Runtime, Cloud Run, or GKE deployment targets. Covers deployment workflows, service accounts, rollback, and production infrastructure. Part of the Google ADK (Agent Development Kit) skills suite. Do NOT use for API code patterns (use google-agents-cli-adk-code), evaluation (use google-agents-cli-eval), or project scaffolding (use google-agents-cli-scaffold).
A rejection-driven workflow for turning unstable work into stable artifacts.
适用于 OpenClaw 和 EnClaws的完整飞书集成技能包。