Skip to main content

Build with Proof.

Explore Feed Compare Sign in Get Started

Open Gauss

Indie Revenue Signal

An open-source autoformalization agent harness for developers and practitioners.

JUST LAUNCHED Brand new — no signals yet. First tracked 4d ago.

Recent Signals

Track this product

Get alerts when this product posts new revenue milestones.

Follow product →

Current Metrics

MRR

Data quality low

Create a free account to unlock this feature — Sign up free

© 2026 ProvenRadar. Market intelligence for indie builders.