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
Store and serve AI memory for identity, preferences, decisions, and projects via REST API or MCP for better context across assistants
Professional Claude Code template system for solo developers — hooks, agents, commands, skills, plan workflow
AI-powered development workflow automation for Claude Code. Modular plugin suite with 23 commands, 38 skills, and 22 specialized agents for professional software development.
Automate Google Calendar tasks via Rube MCP (Composio). Always search tools first for current schemas.
Todo tracking + project brain (decisions, rules, contradictions) with a local broadsheet dashboard for Claude Code
Golang performance optimization patterns and methodology - if X bottleneck, then apply Y. Covers allocation reduction, CPU efficiency, memory layout, GC tuning, pooling, caching, and hot-path optimization. Use when profiling or benchmarks have identified a bottleneck and you need the right optimization pattern to fix it. Also use when performing performance code review to suggest improvements or benchmarks that could help identify quick performance gains. Not for measurement methodology (→ See `samber/cc-skills-golang@golang-benchmark` skill) or debugging workflow (→ See `samber/cc-skills-golang@golang-troubleshooting` skill).