wick-formatter
Copyright (c) 2026 wick-formatter contributors

This product is an independent Python implementation of the LEAN format
(LLM-Efficient Adaptive Notation), which was originally designed and
implemented by Denys Fiialko at:

    https://github.com/fiialkod/lean-format

The original LEAN implementation is published without an explicit license
at the time of writing. wick-formatter does not copy source code or test
cases from the original implementation. The format itself is implemented
independently from publicly available descriptions and analysis.

We gratefully acknowledge Denys's original work on the LEAN format and the
related toon-mcp-server repository, where the semi-tabular encoding path
(`~`-marker rows for non-uniform object arrays) was first implemented.
Any design errors or deviations in wick-formatter's specification or
implementation are our own.

wick-formatter itself is licensed under the MIT License. See LICENSE for
the full text.
