# Provally

> AutoProof by Provally is the proof layer for SAST findings. It verifies static analysis findings by generating safe proof-of-concepts, testing exploitability in a controlled environment, and producing evidence-backed reports with patch workflows.

## Product

- [Home](/): Overview of AutoProof — the proof layer for SAST findings.
- [Product](/product): How AutoProof verifies SAST findings with safe PoCs and controlled testing.
- [How It Works](/how-it-works): Step-by-step walkthrough of the verification pipeline.
- [Integrations](/integrations): Supported SAST inputs — Opengrep, Semgrep, and SARIF-compatible tools.
- [Sample Proof Report](/sample-report): Example of an evidence-backed verification report.
- [Security](/security): Data handling, compliance, and security practices.

## Pricing

- [Pricing](/pricing): Plans and pricing for Pro, Business, and Enterprise tiers.
- [Book Demo](/book-demo): Schedule a demo of the Enterprise platform.

## Documentation

- [Docs](/docs): Getting started and platform documentation.
- [SARIF Import Guide](/docs/import-sarif): How to import SARIF output from any SAST tool.
- [Resources](/resources): Guides, blog posts, and security research.

## Company

- [About Us](/about): Mission, vision, and the team behind Provally.
- [Careers](/career): Open roles and working at Provally.

## Blog

- [CVE to SAST](/blog/cve-to-sast): Bridging CVE intelligence with static analysis.
- [RSAC 2026 AppSec Series](/blog/rsac-2026): Insights from RSA Conference 2026.

## Legal

- [Privacy Policy](/privacy): Data privacy and handling practices.
- [Terms of Service](/terms): Platform terms and conditions.
- [Acceptable Use Policy](/aup): Acceptable use guidelines.