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.
Deterministic, citation-grounded code-index for verifying AI-generated code changes. Per-SHA DuckDB graph. No LLM.
A Hermes Agent skill for trading on Polymarket — market data, wallet management, and order execution via the Polymarket CLOB v2 API.
Hub of a portable agent Skill OS matrix for AI research workflows — kernel schema, install/repo-split handoff contract, installer/scaffolder, registry of pack repos.
Manage AI memories with a lightweight, local-first SQLite binary. Replaces heavy dependencies with a fast, single-file tool compatible with all MCP clients.
🌐 Discover and access over 133 machine-readable APIs for autonomous agents with the Nexus AGI Directory. Fetch, browse, and integrate seamlessly.
A cli tool as a log reader for databricks