3 tagged lean, measured the same way as everything else here.
Instructions file CodexOpenCode
Instructions for WolfpackOfOne/Q-agent, covering agents.md - ai agent guidelines for quantconnect workspace, purpose, workspace structure, key assumptions and finding project documentation.
Instructions file CodexOpenCode
Instructions for epfl-lara/LeanProbe, covering agents.md, working on this repo and the bundled skill.
Instructions file CodexOpenCode
AGENTS.md instructions for cyanseek/VibeMath: VibeMath maps the live frontier of AI mathematics for people and agents. The public name, Skill, CLI, and MCP server remain VibeMath / vibemath.