C coldtea.ai What the 100 biggest GitHub repos put in their AGENTS.md files 4 points ohans 2 months ago 1 comments
