Was macht lean-beam?
Claude/Codex-Fähigkeit und lokale Workflow-Ebene für eine effiziente Interaktion mit Lean 4 und Monte-Carlo-Baumsuche.
Claude/Codex-Fähigkeit und lokale Workflow-Ebene für eine effiziente Interaktion mit Lean 4 und Monte-Carlo-Baumsuche.
Diese Fähigkeit, `ejgallego/lean-beam`, ist ein spezialisiertes Skill-Paket für KI-Assistenten wie Claude und Codex (oder ähnliche Agenten wie Cursor), das einen lokalen Workflow für die Arbeit mit Lean 4 und Monte-Carlo Tree Search (MCTS) bereitstellt. Sie ermöglicht es dem Agenten, effizient mit dem Lean-4-Beweisassistenten zu interagieren, indem sie die Ausführung von Lean-Code, die Suche nach Beweisen und die Integration von MCTS-Algorithmen erleichtert. Dies ist besonders nützlich für Entwickler und Forscher, die an formaler Verifikation und automatischen Beweisverfahren arbeiten. Das Skill definiert klare Protokolle und Hilfsfunktionen, um die Komplexität der Interaktion mit Lean 4 zu reduzieren und die Produktivität bei der Erstellung und Überprüfung formaler Beweise zu steigern. Der Skill ist als lokale Workflow-Ebene konzipiert, die direkt in die Entwicklungsumgebung eingebunden werden kann.
npx skills add ejgallego/lean-beamInstalled? Explore more Recherche & Datenanalyse skills: affaan-m/uspto-database, affaan-m/scholar-evaluation, affaan-m/literature-review · View all 6 →
Claude/Codex-Fähigkeit und lokale Workflow-Ebene für eine effiziente Interaktion mit Lean 4 und Monte-Carlo-Baumsuche.
USPTO patent and trademark data workflow for official record lookup, PatentSearch queries, TSDR checks, assignment data, and reproducible IP research logs.
Structured scholarly-work evaluation for papers, proposals, literature reviews, methods sections, evidence quality, citation support, and research-writing feedback.
Systematic literature-review workflow for academic, biomedical, technical, and scientific topics, including search planning, source screening, synthesis, citation checks, and evidence logging.
The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.
Agent skill repository discovered by 10x-chat research.
Review backend code for quality, security, maintainability, and best practices based on established checklist rules. Use when the user requests a review, analysis, or improvement of backend files (e.g., `.py`) under the `api/` directory. Do NOT use for frontend files (e.g., `.tsx`, `.ts`, `.js`). Supports pending-change review, code snippets review, and file-focused review.