The machine-readable llms.txt documentation for Agent Development Kit (ADK) is no longer hosted statically in this repository. It is now automatically generated and hosted on the ADK documentation site. Please use the links below to access the source of truth.
1 project uses a version of this
22k3mo agoReviewMountCreate a free account to mount
The machine-readable llms.txt documentation for Agent Development Kit (ADK) is no longer hosted statically in this repository. It is now automatically generated and hosted on the ADK documentation site. Please use the links below to access the source of truth.
1 project uses a version of this
22k3mo agoReviewMountCreate a free account to mount
A high-performance vulnerability scanner for Open Source Vulnerabilities (OSV), written in Go. osv-scanner acts as the presentation and orchestration layer, while osv-scalibr (https://github.com/google/osv-scalibr) provides the core analysis engine.
No other project uses it yet
11k11d agoReviewMountCreate a free account to mount
Historical V1 documentation: This document describes the prototype in anneal/v1/. It remains authoritative for using and maintaining V1, but it is not current Anneal design authority. See ../PRINCIPLES.md for current project principles. Known differences are historical and need not be reconciled here. Anneal is a toolchain for formally verifying unsafe Rust code using Charon, Aeneas, and Lean 4, with a specific focus on memory layout and correctness boundaries. CRITICAL INSTRUCTION FOR AGENTS: If you are new to Anneal, you MUST…
No other project uses it yet
2.6k44d agoReviewMountCreate a free account to mount
Historical V1 documentation: This document describes the prototype in anneal/v1/. It remains authoritative for using and maintaining V1, but it is not current Anneal design authority. See ../PRINCIPLES.md for current project principles. Known differences are historical and need not be reconciled here. Anneal is a toolchain for formally verifying unsafe Rust code using Charon, Aeneas, and Lean 4, with a specific focus on memory layout and correctness boundaries. CRITICAL INSTRUCTION FOR AGENTS: If you are new to Anneal, you MUST…
No other project uses it yet
2.6k44d agoReviewMountCreate a free account to mount