Alternatives
Products that do what Forg3t Protocol does
Provable AI unlearning for privacy and compliance
- 1

- 2

AI agents that find, validate, and fix every vulnerability
Jun 2026 · getastra.com
- 3

- 4

- 5

Tighter instruction adherence in speech agents
Feb 2026 · developers.openai.com
- 6

- 7

- 8

- 9

- 10

- 11

- 12

- 13
- 14

- 15

We've been working on an open-source coding agent that generates code alongside machine-checkable proofs. We'd love feedback from the HN community, especially from people interested in formal verification, Lean, Dafny, or AI coding agents. Currently, only 3 langauges can be verified.
Jul 2026 · github.com
- 16EG
TLDR: A small, vendor-agnostic inference loop that turns token logprobs/perplexity/entropy into an extra pass and reasoning for LLMs. - Captures logprobs/top-k during generation, computes perplexity and token-level entropy. - Triggers at most one refine when simple thresholds fire; passes a compact “uncertainty report” (uncertain tokens + top-k alts + local context) back to the model. - In our tests on technical Q&A / math / code, a small model recovered much of “reasoning” quality at ~⅓ the cost while refining ~⅓ of outputs. I kept seeing “reasoning” models behave…
2025 · github.com
- 17

- 18

- 19

You ask. Three AIs debate with a Mod. One weighted answer.
Feb 2026 · tri-verify-ai.replit.app
- 20
- 21

- 22

- 23CL
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
- 24

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