Last updated: August 22, 2026.
MerLean is provided under the Apache License 2.0 in LICENSE. By using or distributing MerLean, you agree to comply with that license and with the terms of any third-party services, models, packages, or repositories you choose to use with it.
MerLean produces research assistance and formalization artifacts, not legal, medical, financial, or other professional advice. Users remain responsible for reviewing generated mathematics, code, citations, commands, file changes, and publication materials before relying on or distributing them.
The software is provided on an "AS IS" basis, without warranties or conditions of any kind, as stated in the Apache License 2.0. Nothing in this document limits rights granted by that license.