Invar
Copyright 2025 Invar Contributors

This product includes software developed by the Invar project
(https://github.com/Tefx/Invar).

================================================================================

This project uses the following third-party libraries:

--------------------------------------------------------------------------------
deal - Design by Contract library
License: LGPL-3.0-or-later
https://github.com/life4/deal
--------------------------------------------------------------------------------

--------------------------------------------------------------------------------
hypothesis - Property-based testing library
License: MPL-2.0
https://github.com/HypothesisWorks/hypothesis
--------------------------------------------------------------------------------

--------------------------------------------------------------------------------
crosshair-tool - Symbolic execution analysis
License: MIT
https://github.com/pschanely/CrossHair
--------------------------------------------------------------------------------

--------------------------------------------------------------------------------
typer - CLI framework
License: MIT
https://github.com/tiangolo/typer
--------------------------------------------------------------------------------

--------------------------------------------------------------------------------
rich - Terminal formatting library
License: MIT
https://github.com/Textualize/rich
--------------------------------------------------------------------------------

--------------------------------------------------------------------------------
pydantic - Data validation library
License: MIT
https://github.com/pydantic/pydantic
--------------------------------------------------------------------------------

--------------------------------------------------------------------------------
returns - Functional programming primitives
License: BSD-2-Clause
https://github.com/dry-python/returns
--------------------------------------------------------------------------------

--------------------------------------------------------------------------------
mcp - Model Context Protocol SDK
License: MIT
https://github.com/modelcontextprotocol/python-sdk
--------------------------------------------------------------------------------

--------------------------------------------------------------------------------
pre-commit - Git hooks framework
License: MIT
https://github.com/pre-commit/pre-commit
--------------------------------------------------------------------------------
