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.
Interactive data app templates optimized for real-time visualization of internal vector database performance metrics.
Design exploration skill for Claude Code. Research-first: scans forums, competitors, and user pain before proposing anything. Three progressive rounds (literal → creative → wild) produce self-executing specs with embedded implementation instructions.
Agent-oriented fixed income research skill with FICC playbooks, evidence cards, data-source policy, templates, and OpenClaw/MCP integration.
Agentic campus QA system with RAG retrieval, LLM Wiki memory, and GBrain skills
采集网易云音乐主歌单和听歌排行，生成本地听歌画像分析数据与 AI prompt
Automate Crustdata tasks via Rube MCP (Composio). Always search tools first for current schemas.