@daniel monocles user here.
What proofs exist about this? I can't see any AGENTS.md or similar files in their repository. Just asking. I don't want to start a discussion here