Alternatives
Products that do what Hyperproof does
Scale your security & compliance - SOC 2, ISO, NIST + more
- 1

- 2

- 3

- 4

- 5

- 6

- 7

- 8

- 9CC
2018 · github.com
- 10

- 11

- 12

- 13

- 14CC
Dear HN community! Looking forward to hearing your feedback on ACE (assured confidential execution), technology that implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a formally verified and auditable firmware. We target high-assurance systems that can benefit from compartmentalization and hardware-backed isolation. The key ingredient called security monitor (firmware) is implemented in Rust. The formal specification is defined as annotations directly in code and gets translated to Coq using RefinedRust automation. ACE design is now part of the…
2025 · github.com
- 15

- 16WC
2022 · hypervault.com
- 17

- 18AS
Hey HN! Jaka here, solo founder of Assertly (https://www.assertly.com). Assertly is a monitoring tool for continuous infosec, IT, compliance and DevOps regression testing. It enables teams to automate periodic checks using JavaScript. Before Assertly, I was the CTO of Celtra (https://celtra.com), a B2B SaaS company, for over 10 years, from “git init” to 250 people and the company’s sale to private equity. I was primarily responsible for product strategy, engineering, QA, DevOps, but also for IT and InfoSec. I found that ensuring security, integrity, privacy, and…
2024 · assertly.com
- 19

- 20

- 21ED
Aug 2026 · github.com
- 22CL
We're excited to launch compliant-llm: an open-source toolkit that helps infosec and compliance teams audit AI agents against regulatory frameworks like NIST AI RMF, ISO 42001, and OWASP Top 10. Infosec and compliance teams are now responsible for tracking security and compliance risks of a growing number of AI agents across external and internal apps and third-party vendors. compliant-llm gives you a way to: - Define and run comprehensive red-teaming tests for AI agents - Maps test outcomes to compliance frameworks like NIST AI RMF - Generate detailed audit logs and documentation -…
2025 · github.com
- 23

- 24

Ranked by how close each launch is in meaning, then by votes. Refine with a description →