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.
Agent skill repository discovered by 10x-chat research.
Claude Code skills marketplace with auto-update
Agent-oriented fixed income research skill with FICC playbooks, evidence cards, data-source policy, templates, and OpenClaw/MCP integration.
One CLI for your agent and scripts for AI, search, scraping, and enrichment.
Catch fabricated data files before they contaminate your analysis. Claude Code skill for three-layer provenance auditing.
MCP server that enables AI agents to perform comprehensive web audits using Google Lighthouse with 13+ tools for performance, accessibility, SEO, and security analysis.