Redox OS has added a Certificate of Origin policy and a strict no-LLM policy to our CONTRIBUTING.md: https://gitlab.redox-os.org/redox-os/redox/-/blob/master/CONTRIBUTING.md
@redox Rust itself has accepted contributions coauthored by Claude, specifically to Miri. Any comments? I'm really interested in hearing your thoughts...
https://github.com/rust-lang/rust/commit/684bff70b5ed1e4921773251b072812fb9a002cb

