Contributing

July 24, 2026 · View on GitHub

Thanks for helping improve LeanPass.

Ways to contribute

  • report bugs and issues
  • suggest new features
  • improve documentation
  • submit code changes and tests

Development setup

  1. Clone the repository.
  2. Create and activate a virtual environment.
  3. Install development dependencies:
pip install -e .
pip install pytest
  1. Run the test suite:
pytest

Pull request expectations

  • keep changes focused and well explained
  • add or update tests when behavior changes
  • ensure the test suite still passes
  • follow the project’s existing style and structure