Fundraising FoxProvally
1 known investors
Find your way into Provally
AutoProof is a security verification platform that transforms static application security testing (SAST) findings into confirmed exploitability evidence and automated patch workflows for development teams. It reduces false positives and manual triage work by executing safe proof-of-concept tests in a controlled environment and integrating verified results with GitHub and GitLab.
Founders & leadership
KC
Kwangjun Choi 님FounderKwangjun Choi is founder and CEO of Provally, which builds AutoProof, a platform that verifies software vulnerabilities through automated exploit generation. He has conducted offensive security research including zero-day vulnerability discovery, previously led automated vulnerability analysis projects at S2W, and founded and operates the cybersecurity research group Hackyboiz.
Investors · 1
Funding
SEC filings, press & company announcements- Undisclosed amountSeedApr 2026Source ↗
Source: company announcements and press reports — follow each round's link for the claim.
Frequently asked questions
- What does Provally do?
- AutoProof is a security verification platform that transforms static application security testing (SAST) findings into confirmed exploitability evidence and automated patch workflows for development teams. It reduces false positives and manual triage work by executing safe proof-of-concept tests in a controlled environment and integrating verified results with GitHub and GitLab.
- Who founded Provally?
- Provally was founded by Kwangjun Choi 님.
- Who are Provally's investors?
- Provally's investors include Rabbit Ventures.