<!-- BEGIN PLATFORM-CODE -->
@AGENTS.md
<!-- END PLATFORM-CODE -->
