REPOGEO REPORT · LITE

ProvableHQ/snarkOS

Default branch staging · commit 48d40250 · scanned 6/24/2026, 3:17:03 PM

GitHub: 4,526 stars · 2,686 forks

Scan history for this repo

Score trend below includes all ready runs (older left, newer right; scroll horizontally if needed). The table is collapsed by default—expand for newest-first rows, 10 per page.

Score trend (left → right: older → newer)

3 ready scans. Expand the table below for newest-first rows (10 per page, paginated).

AI VISIBILITY SCORE

40 /100

Critical

Category recall

0 / 2

Not recommended in any query

Rule findings

2 pass · 0 warn · 0 fail

Objective metadata checks

AI knows your name

3 / 3

Direct prompts that named your repo

HOW TO READ THIS REPORT

Action plan is what to do next — copy-pasteable changes prioritized by impact. Category visibility is the real GEO test: when a user asks an AI a brand-free question that should surface ProvableHQ/snarkOS, does the AI actually recommend you — or your competitors? Objective checks verify the metadata signals AI engines weight first. Self-mention check detects whether AI even knows you exist by name.

Action plan — copy-paste fixes

3 prioritized changes generated by gemini-2.5-flash. Mark items done after you ship the fix.

OVERALL DIRECTION

highreadme#1

Reposition README to emphasize Layer 1 blockchain and Aleo network

Why:

CURRENT

The README currently starts with badges and a Table of Contents, with the first content under '1. Overview' stating 'snarkOS is a decentralized operating system for zero-knowledge applications. This code forms the backbone of Aleo network...'

COPY-PASTE FIX

Insert the following paragraph immediately after the initial badges and before the Table of Contents: 'snarkOS is the foundational decentralized operating system and core protocol for the Aleo network, a Layer 1 blockchain designed for private, programmable zero-knowledge applications. It provides the infrastructure for running zero-knowledge applications, verifying transactions, and maintaining the encrypted state of the Aleo blockchain.'

mediumtopics#2

Expand topics to include Layer 1 and network keywords

Why:

CURRENT

aleo, blockchain, cryptography, rust, zero-knowledge, zksnarks

COPY-PASTE FIX

aleo, blockchain, cryptography, rust, zero-knowledge, zksnarks, layer-1, decentralized-network, privacy-preserving

mediumfaq#3

Add a FAQ entry comparing snarkOS to ZKP frameworks

Why:

COPY-PASTE FIX

Add a question to the '4. FAQs' section: 'How does snarkOS differ from ZKP libraries or frameworks like Noir, arkworks, or Plonky2?' with an answer explaining its role as a full Layer 1 decentralized operating system for the Aleo network, rather than just a ZKP proving system.

Category GEO backends resolved for this scan: google/gemini-2.5-flash, deepseek/deepseek-v4-flash

Category visibility — the real GEO test

Brand-free queries asked to google/gemini-2.5-flash. Did AI recommend you, or someone else?

Same questions for every model — switch tabs to compare answers and rankings.

Recall

0 / 2

0% of queries surface ProvableHQ/snarkOS

Avg rank

—

Lower is better. #1 = top recommendation.

Share of voice

Of all named tools, what % are you?

Top rival

Noir

Recommended in 2 of 2 queries

COMPETITOR LEADERBOARD

Noir · recommended 2×
Plonky2 · recommended 2×
Aztec Network · recommended 1×
Polygon zkEVM · recommended 1×
ZKsync Era · recommended 1×

CATEGORY QUERY
How to build private, verifiable applications using zero-knowledge proofs on a decentralized network?
you: not recommended
AI recommended (in order):
1. Noir
2. Aztec Network
3. Polygon zkEVM
4. ZKsync Era
5. Cairo
6. Scroll
7. Solidity
8. circom
9. snarkjs
10. Ethereum
11. Polygon
12. Arbitrum
13. Plonky2
AI recommended 13 alternatives but never named ProvableHQ/snarkOS. This is the gap to close.
Show full AI answer
CATEGORY QUERY
Looking for a Rust-based framework to run zero-knowledge proving and validating nodes.
you: not recommended
AI recommended (in order):
1. arkworks-rs
2. Spartan
3. Winterfell
4. Bellman
5. Noir
6. Plonky2
AI recommended 6 alternatives but never named ProvableHQ/snarkOS. This is the gap to close.
Show full AI answer

Objective checks

Rule-based audits of metadata signals AI engines weight most.

Metadata completeness
pass
README presence
pass

Self-mention check

Does AI even know your repo exists when asked about it directly?

Compared to common alternatives in this category, what is the core differentiator of ProvableHQ/snarkOS?
pass
AI named ProvableHQ/snarkOS explicitly
AI answers can be confidently wrong. Read for accuracy: does it match your actual tech stack, audience, and differentiator?
If a team adopts ProvableHQ/snarkOS in production, what risks or prerequisites should they evaluate first?
pass
AI named ProvableHQ/snarkOS explicitly
AI answers can be confidently wrong. Read for accuracy: does it match your actual tech stack, audience, and differentiator?
In one sentence, what problem does the repo ProvableHQ/snarkOS solve, and who is the primary audience?
pass
AI named ProvableHQ/snarkOS explicitly
AI answers can be confidently wrong. Read for accuracy: does it match your actual tech stack, audience, and differentiator?

Embed your GEO score

Drop this badge into the README of ProvableHQ/snarkOS. It auto-updates whenever the report is rescanned and links back to the latest report — easy public proof that you care about AI discoverability.

Live preview

MARKDOWN (README)

[![RepoGEO](https://repogeo.com/badge/ProvableHQ/snarkOS.svg)](https://repogeo.com/en/r/ProvableHQ/snarkOS)

HTML

<a href="https://repogeo.com/en/r/ProvableHQ/snarkOS"><img src="https://repogeo.com/badge/ProvableHQ/snarkOS.svg" alt="RepoGEO" /></a>

Pro

Subscribe to Pro for deep diagnoses

ProvableHQ/snarkOS — Lite scans stay free; this card itemizes Pro deep limits vs Lite.

Deep reports10 / month
Brand-free category queries5 vs 2 in Lite
Prioritized action items8 vs 3 in Lite