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.
Discover and compare open-source Agent Skills, tools & MCP servers — with quality scoring, trending analysis, and automated GitHub sync
Multi-agent financial trading framework leveraging LLMs to simulate real-world trading firm dynamics
competitor-research-skill-kit
RAGFlow is a leading open-source Retrieval-Augmented Generation (RAG) engine that fuses cutting-edge RAG with Agent capabilities to create a superior context layer for LLMs
Codex skill for optimizing PyTorch training throughput, GPU utilization, memory efficiency, and distributed scaling.
Explore Claude Code prompts, agent coordination, and safety patterns for coding AI research in Thai