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
Reusable Claude Code skills for codebase auditing and engineering productivity
Generate a Playwright test based on a scenario using Playwright MCP
🚀 Enable automated code analysis and editing with Claude Code using Codex CLI for efficient workflows and easy refactoring.
Create, run, and maintain Momentic E2E tests and modules, which are serialized to disk as *.test.yaml and *.module.yaml files. Momentic uses fast, accurate AI agents to automate browser interactions for the purpose of testing web applications.
Recently updated agent-skill-related GitHub repository: alexanderop/workflow.
Deliver McKinsey-quality consulting analyses with sourced, framework-driven, financially rigorous, and executive-ready reports via Claude Code.