Contributing

Thank you for considering contributing to OWL Server! This document provides guidelines and instructions for contributing to the project.

Development Environment

Clone your fork locally:

git clone https://github.com/your-username/owl-mcp.git
cd owl-mcp

Tests are written using pytest. To run the tests:

make test

To run a specific test:

uv run pytest tests/test_owl_api.py::test_add_axiom

We use Black for code formatting and isort for import sorting:

uv run black src tests
uv run isort src tests

We use mypy for type checking:

uv run mypy src

We use mkdocs with the Material theme for documentation. To build and serve the documentation locally:

mkdocs serve

Then visit http://127.0.0.1:8000/ in your web browser.

Create a new branch for your feature or bugfix:
```
git checkout -b feature/your-feature-name
```
Make your changes and ensure all tests pass:
```
make test
```
Update the documentation if necessary.

Add your changes to git and commit them:

git add .
git commit -m "Description of your changes"

Push your branch to GitHub:

git push origin feature/your-feature-name

Please be respectful and considerate of others when contributing to this project. We aim to foster an inclusive and welcoming community.

By contributing to OWL Server, you agree that your contributions will be licensed under the same license as the project.