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 add-skill ejgallego/lean-beamClaude/Codex skill and local workflow layer for efficient interaction with Lean 4 and Monte-Carlo Tree Search.
Perfetto trace analysis via MCP — PerfettoSQL queries plus dedicated Chrome tools for scroll jank, page loads, and main-thread hotspots
Curated list of LLM-driven trading agents, MCP servers, and agent skills for market research, strategy, and execution.
🏆 Agent Skills Leaderboard: One-stop discovery for the best AI Agent Skills — search, filter, and find the right tool instantly. 一站式发现最值得用的 AI Agent Skills · 告别四处翻找，搜索即上手。
MCP server for Run402 — AI-native Postgres + REST + auth + storage + static sites. Pay with x402 USDC on Base. No signups.
Fine-tune Gemma-4 locally on distilled persona data — self-contained persona models for phones and personal computers
Claude Code skill: Fast code and file search using ripgrep, ast-grep, fd, rga, tokei