Skip to content

CONTRIBUTING.md

Latest commit

 

History

History
48 lines (35 loc) · 1.41 KB

CONTRIBUTING.md

File metadata and controls

48 lines (35 loc) · 1.41 KB

Contributing to Lean Spec

Quick Start

  1. Fork and clone the repository
  2. Install dependencies: uv sync
  3. Make your changes
  4. Install just: uv tool install just-bin
  5. Run checks: just check
  6. Run tests: just test
  7. Submit a pull request

Pull Request Guidelines

  1. Create a feature branch: git checkout -b feat/your-feature-name
  2. Write clear commit messages that explain what and why
  3. Add tests for any new functionality
  4. Update documentation as needed
  5. Ensure all checks pass before submitting

Code Style

  • Type hints: Required for all functions and methods
  • Docstrings: Use Google style for public APIs
  • Line length: 100 characters (enforced by ruff)
  • Formatting: Run just fix to auto-format

Adding New Subspecifications

New subspecs belong in src/lean_spec/subspecs/. Follow the pattern of existing subspecs like poseidon1:

mkdir -p src/lean_spec/subspecs/my_new_subspec
touch src/lean_spec/subspecs/my_new_subspec/__init__.py
mkdir -p tests/subspecs/my_new_subspec

Testing

  • Write tests that mirror the source structure
  • Use pytest.mark.parametrize for multiple test cases
  • Mark slow tests with @pytest.mark.slow

Questions?

  • Check existing issues
  • Open a new issue for discussion
  • See README.md for more details on the project structure and commands