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.
A Codex / Claude skill for recreating UI screenshots as HTML/CSS.
Folder-as-Agent platform for academic thesis writing - compatible with Doubao, Claude, GPT, Gemini
AI-agent skill for research taste, problem framing, experiments, paper storytelling, and world-model thinking
A Codex skill for organizing academic paper projects with folders, specialist threads, and handoff files.
Index Kotlin/Native iOS klib APIs with this MCP server for fast symbol lookup and local database management.
Binary-criteria evaluation harness for Claude skills with planned extension to plugins, agents, and MCP servers. Score every change yes/no across 7 layers — package integrity, trigger quality, functional quality, regression protection, baseline value, model variance, rollout safety. Never gradients.