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
- Clone the repository.
- Create and activate a virtual environment.
- Install development dependencies:
pip install -e .
pip install pytest
- 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