# Aedis > An open-source .NET + React framework whose security you can prove: secure-by-construction building blocks, shipped with the evidence an auditor asks for. Three products, used together or alone. Everything is Apache-2.0, signed with Sigstore and built with SLSA provenance. ## Products - [Aedis .NET](https://github.com/aedis-build/aedis-dotnet): .NET packages: secure host, ports and adapters, messaging, secrets, signing. Moving cloud, broker or database is a package swap. No llms.txt yet; the repository's README and docs/ are the reference. - [Aedis UI](https://ui.aedis.build/llms.txt): UI components from a shadcn-style registry. You copy the code into your app and own it. Docs for agents, every component with its API and security rules. - [Aedis Platform](https://github.com/aedis-build/aedis-platform): Platform: conformance levels L1 to L3 and a policy-based merge gate for your repositories. No llms.txt yet; the repository's README and docs/ are the reference. ## Optional - [Security policy](https://github.com/aedis-build/aedis.build/security/policy): how to report a vulnerability. - [All repositories](https://github.com/aedis-build): source, releases and their attestations.