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
A collection of mainly my own productivity plugins for Claude Code.
🚀 Empower AI Agents with structured skills and workflows for tasks like automated news reporting and data analysis.
Instinct-based learning system that observes sessions via hooks, creates atomic instincts with confidence scoring, and evolves them into skills/commands/agents. v2.1 adds project-scoped instincts to prevent cross-project contamination.
An agentic project manager for AI-assisted coding — persistent memory, living roadmaps, and automatic architecture tracking
Safe Python Netmiko patterns for read-only collection, bounded batch SSH, TextFSM parsing, guarded config changes, timeouts, and network automation error handling.
AI Workflow Orchestration