Skip to content
astrapatchastrapatch

Community

Contributing

astrapatch is built in the open and welcomes contributors from aerospace engineering, embedded security, software verification and AI research.

Request contributor access

Email contribute@astrapatch.online with the subject Contributor access: <your GitHub username>. Include your GitHub username, your name and affiliation if any, the area you want to work on, relevant experience, and why you are interested. Requirements and details are on the Contribute page.

You can also download the contribution guide (PDF).

Areas where help is needed

  • Security analyzer plugins.
  • Spacecraft simulation adapters.
  • Verification policies.
  • Reproducible test cases.
  • Benchmark datasets.
  • Documentation.
  • Research into AI-assisted remediation techniques.

How to contribute

  1. Open an issue describing the change before starting large work, so it can be discussed.
  2. Fork the repository and create a branch for your change.
  3. Keep each pull request focused on one change, with a clear description.
  4. Make sure the project builds and checks pass before requesting review.

Ground rules for content

The project's credibility depends on accuracy. In code, docs and the website:

  • Do not describe planned features as implemented.
  • Do not add metrics, adoption figures, endorsements or citations that cannot be verified.
  • Mark experimental and illustrative material as such.

See also the Code of Conduct and the security reporting policy.