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.
Enable AI agents to access real-time Danish data for job search, housing, groceries, weather, travel, and health information.
turns your codebase into an autoresearch loop — discovers what to measure, instruments the benchmark, then runs tree search with parallel subagents.
Commercial MCP server for semantic search and RAG. Relevance-ranked context delivery with custom embeddings
Orchestrate the complete malware analysis lifecycle across triage, dynamic analysis, detection engineering, and report writing.
Agent Receipts — cryptographically signed audit trails for AI agent actions. Protocol spec, SDKs (Go, TypeScript, Python), and MCP proxy.
Agent skills for U.S. property data via Zillapi.com. MIT-0.