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.
🎯 Generate high-quality AI prompts with an intelligent system that matches user input to expert skills across ten key application areas.
Providing personalized Claude Code configurations with sub-agents, slash commands, connection points, and skills for multi-agent coordination, knowledge graphs, and data transfer between machines.
📝 Manage and organize Obsidian vaults with CLI tools for notes, tasks, tags, templates, and knowledge graph analysis.
Multitenant backend that lets agents discover and execute against any HTTP API. MCP-native — exposes search and execute tools via the Model Context Protocol. Connectors for GitHub, Jenkins, GitLab, Jira, Kubernetes, Linear, and Slack, plus user-supplied OpenAPI/bare-URL connections.
A Claude Code skill for generating stunning HTML presentations with AI-powered planning, style discovery, and PPTX export
A collection of Awesome Finance Agent Skills for free and easy to start | 一系列开源免费的金融分析Agent Skills