Aegis
Aegis is a commercial GitHub App for automated formal verification and repair of Rust code. · Developer tools
How they use Nebius Token Factory
Aegis uses Nebius Token Factory for managed runs that select Nebius-hosted open-weight models, including DeepSeek and Kimi variants. Its privacy policy says relevant Rust file contents and prompt context go to the configured model provider to generate a patch. With Nebius-served models, Nebius processes the prompt rather than the model author. Aegis also supports optional bring-your-own-key access to Nebius.
The GitHub App runs a formal verifier on Rust pull requests and uses model-generated patches in a verification and repair loop. Proposed fixes must pass verification, behaviour tests, an anti-bypass scanner and a diff check. Successful repairs can be opened as fix pull requests for human review.
Sources
3 sourcesAegis data processing agreement
Listed 22 Oct 2026 · Aegis · Web page
Aegis lists Nebius B.V. as a subprocessor for managed-tier LLM inference and optional BYOK use, including Nebius-served DeepSeek and Kimi variants.
Open original sourceAegis installation and billing documentation
Listed 22 Oct 2026 · Aegis · Web page
Aegis documents optional Nebius BYOK configuration alongside five other provider options.
Open original sourceCompany context
aegisproof.devAegis is a commercial GitHub App operated by Hugo Schroeder in Berlin for developers and teams building Rust software. It turns plain-language descriptions of intended behavior into verification contracts and Kani harnesses, checks pull requests, and uses language models to propose repairs when verification finds a counterexample. Proposed patches must pass verification, existing tests, anti-bypass checks and diff checks before Aegis opens a fix pull request for human review. It also offers audit-only runs, a results dashboard, paid managed-model plans and bring-your-own-key access.
Aegis official website and documentation