RRepoGEO

REPOGEO REPORT · LITE

o1-labs/snarky

Default branch master · commit 2c912753 · scanned 6/7/2026, 9:08:28 PM

GitHub: 507 stars · 85 forks

AI VISIBILITY SCORE
82 /100
Healthy
Category recall
2 / 2
Avg rank #3.0 when recommended
Rule findings
1 pass · 1 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 o1-labs/snarky, 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
  • hightopics#1
    Add relevant topics to the repository

    Why:

    COPY-PASTE FIX
    ocaml, snark, zero-knowledge-proofs, zkp, r1cs, dsl, verifiable-computation
  • mediumreadme#2
    Clarify the current status and active components in the README

    Why:

    CURRENT
    This repository contains a substantial amount of obsolete code. Earlier versions of the Mina project (the primary user of this code) used the C/C++ backend implemented in `src/`; most of that code is no longer used. The exceptions are `src/intf` and `src/base`.
    COPY-PASTE FIX
    This repository provides an OCaml DSL for writing R1CS SNARKs, with active components primarily in `src/intf` and `src/base`. While earlier versions of the Mina project (the primary user of this code) utilized the C/C++ backend in `src/`, most of that code is now deprecated. Users should focus on the OCaml front-end for current SNARK development.
  • lowreadme#3
    Add core differentiator to README introduction

    Why:

    COPY-PASTE FIX
    Snarky's core differentiator is its OCaml-based Domain Specific Language (DSL) for writing SNARK circuits, particularly tailored for recursive SNARK architectures like those used in the Mina Protocol.

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
2 / 2
100% of queries surface o1-labs/snarky
Avg rank
#3.0
Lower is better. #1 = top recommendation.
Share of voice
18%
Of all named tools, what % are you?
Top rival
iden3/circom
Recommended in 1 of 2 queries
COMPETITOR LEADERBOARD
  1. iden3/circom · recommended 1×
  2. ConsenSys/gnark · recommended 1×
  3. arkworks-rs/arkworks · recommended 1×
  4. zcash/bellman · recommended 1×
  5. kimchi · recommended 1×
  • CATEGORY QUERY
    What DSLs are available for constructing zero-knowledge proofs for R1CS circuits?
    you: #5
    AI recommended (in order):
    1. Circom (iden3/circom)
    2. Gnark (ConsenSys/gnark)
    3. Arkworks (arkworks-rs/arkworks)
    4. Bellman (zcash/bellman)
    5. Snarky (MinaProtocol/snarky) ← you
    Show full AI answer
  • CATEGORY QUERY
    Looking for an OCaml library to implement verifiable computation or SNARKs.
    you: #1
    AI recommended (in order):
    1. snarky ← you
    2. kimchi
    3. pasta
    4. ocaml-bls12-381
    5. ocaml-r1cs
    6. ocaml-ff
    Show full AI answer

Objective checks

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

  • Metadata completeness
    warn

    Suggestion:

  • 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 o1-labs/snarky?
    pass
    AI named o1-labs/snarky explicitly

    AI answers can be confidently wrong. Read for accuracy: does it match your actual tech stack, audience, and differentiator?

  • If a team adopts o1-labs/snarky in production, what risks or prerequisites should they evaluate first?
    pass
    AI named o1-labs/snarky 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 o1-labs/snarky solve, and who is the primary audience?
    pass
    AI named o1-labs/snarky 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 o1-labs/snarky. It auto-updates whenever the report is rescanned and links back to the latest report — easy public proof that you care about AI discoverability.

RepoGEO badge previewLive preview
MARKDOWN (README)
[![RepoGEO](https://repogeo.com/badge/o1-labs/snarky.svg)](https://repogeo.com/en/r/o1-labs/snarky)
HTML
<a href="https://repogeo.com/en/r/o1-labs/snarky"><img src="https://repogeo.com/badge/o1-labs/snarky.svg" alt="RepoGEO" /></a>
Pro

Subscribe to Pro for deep diagnoses

o1-labs/snarky — 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