https://www.mihaly.dev/https://www.mihaly.dev/AGENTS.mdhttps://www.mihaly.dev/llms.txthttps://www.mihaly.dev/profile.jsonhttps://www.mihaly.dev/profile.md