17 tagged lean, measured the same way as everything else here.
Browse within: quantconnect 15quantitative-finance 15
afhverjuekki/claude-code-aristotle-plugin
Agent
Use this agent when the user needs to verify algorithm correctness, create VERINA-style specifications, or set up code verification with Aristotle. Examples.
afhverjuekki/claude-code-aristotle-plugin
Agent
Use this agent when the user needs to verify Lean proofs generated by Aristotle, check for sorryAx contamination, or validate that proofs are logically sound. Examples.
Agent Claude Code
QuantConnect project bootstrap specialist. Use proactively when asked to make, create, scaffold, or standardize a new project under MyProjects with standalone Git, project-local AGENTS.md and claude.md, and working local LEAN backtest and research setup.
Agent Claude Code
Use this agent when building a new QuantConnect LEAN algorithm from a strategy specification. It scaffolds the full project structure including main.py, domain/config.py, models/alpha.py, and models/portfolio.py following the atomic layered architecture. Examples:\n\n \nContext: User wants to build a momentum-based…
Agent Claude Code
Use this agent when asked to create or populate .ipynb files under a project's research/ directory in the QuantConnect workspace. This includes writing single notebooks or complete 5-notebook teaching series that use QuantBook() for data access. Trigger this agent whenever a user requests notebook creation, notebook…