This document details the pro-bono audit project for performed by auditors of CrabNebula Ltd.. It is built with mdbook and internally developed tools.

The edition of this report is public and should be treated accordingly.

If you have any inquiries or questions regarding this or other audits you are always welcome to reach out to

Find Code. Fast. Understand codebases with GPT-4 and semantic code search. allows developers to search across codebases with prompts. This supports developers in their daily workflows and allows to get around in new codebases by just asking questions, without knowing the exact location of a function or behavior. For this purpose they created a Tauri application to offer this accross operating systems with a single code base.