ejgallego/lean-beam
Claude/Codex skill and local workflow layer for efficient interaction with Lean 4 and Monte-Carlo Tree Search.
Claude/Codex skill and local workflow layer for efficient interaction with Lean 4 and Monte-Carlo Tree Search.
npx skills add ejgallego/lean-beamClaude/Codex skill and local workflow layer for efficient interaction with Lean 4 and Monte-Carlo Tree Search.
🧪 Industrial pipeline simulation skills for AI agents — water hammer, steady analysis, solver selection
📈 Monitor trades and manage risks in real-time with AI analytics, delivering instant alerts via Telegram for smarter trading decisions.
Index Claude Code conversations into SQLite via hooks, with local LLM summaries and a search skill that lets Claude recall past sessions
GAN adversarial development loop for Claude Code — planner, generator, evaluator, and contract agents with a /gan orchestrator skill
Personal Agent OS for Claude Code — 46 hooks, 3501 skills, 97 agents. Blocks rm -rf, prompt injection, pipe-to-shell at runtime. Apache 2.0.
AI-powered autonomous coding agent for Unity/Strada.Core — PAOR agent loop, 40+ tools, RAG over C# codebases, persistent HNSW memory, multi-channel (Web/Telegram/Discord/Slack/WhatsApp), 24/7 daemon mode, multi-agent orchestration, and SOUL.md personality system.