RRepoGEO

REPOGEO 报告 · LITE

o1-labs/snarky

默认分支 master · commit 2c912753 · 扫描时间 2026/6/7 21:08:28

星标 507 · Fork 85

AI 可见性总分
82 /100
健康
品类召回
2 / 2
被推荐时的平均排名 #3.0
规则结果
通过 1 · 警告 1 · 失败 0
客观元数据检查
AI 认识你的名字
3 / 3
直接询问时，AI 是否点名你的仓库
如何阅读这份报告

行动计划告诉你下一步要做什么——按影响力排序、可直接复制粘贴的修改。品类可见性是真正的 GEO 测试：当用户向 AI 提一个不带品牌、本应让 o1-labs/snarky 浮出水面的问题时，AI 是真的推荐了你，还是推荐了你的竞品？客观检查验证 AI 引擎最先权衡的那些元数据信号。自指检查判断 AI 是否还认识你的名字。

行动计划 — 可复制粘贴的修复

3 条由 gemini-2.5-flash 生成、按优先级排序的修改。修完后请把对应条目标记为完成。

整体方向
  • hightopics#1
    Add relevant topics to the repository

    原因：

    复制粘贴的修复
    ocaml, snark, zero-knowledge-proofs, zkp, r1cs, dsl, verifiable-computation
  • mediumreadme#2
    Clarify the current status and active components in the README

    原因：

    当前
    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`.
    复制粘贴的修复
    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

    原因：

    复制粘贴的修复
    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.

本次扫描解析到的品类 GEO 通道：google/gemini-2.5-flash, deepseek/deepseek-v4-flash

品类可见性 — 真正的 GEO 测试

向 google/gemini-2.5-flash 提出的不带品牌问题。AI 推荐了你，还是推荐了别人？

各模型使用同一组问题 — 切换标签对比回答与排名。

召回
2 / 2
100% 的问题里出现了 o1-labs/snarky
平均排名
#3.0
越小越好。#1 表示首位推荐。
声量占比
18%
在所有被点名的工具中，你占了多少？
头号对手
iden3/circom
在 2 个问题中被推荐 1 次
竞品排行
  1. iden3/circom · 被推荐 1 次
  2. ConsenSys/gnark · 被推荐 1 次
  3. arkworks-rs/arkworks · 被推荐 1 次
  4. zcash/bellman · 被推荐 1 次
  5. kimchi · 被推荐 1 次
  • 品类问题
    What DSLs are available for constructing zero-knowledge proofs for R1CS circuits?
    你：第 5 位
    AI 推荐顺序：
    1. Circom (iden3/circom)
    2. Gnark (ConsenSys/gnark)
    3. Arkworks (arkworks-rs/arkworks)
    4. Bellman (zcash/bellman)
    5. Snarky (MinaProtocol/snarky) ← 你
    查看 AI 完整回答
  • 品类问题
    Looking for an OCaml library to implement verifiable computation or SNARKs.
    你：第 1 位
    AI 推荐顺序：
    1. snarky ← 你
    2. kimchi
    3. pasta
    4. ocaml-bls12-381
    5. ocaml-r1cs
    6. ocaml-ff
    查看 AI 完整回答

客观检查

针对 AI 引擎最看重的元数据信号的规则审计。

  • Metadata completeness
    warn

    建议：

  • README presence
    pass

自指检查

当被直接问到你时，AI 是否还知道你的仓库存在？

  • Compared to common alternatives in this category, what is the core differentiator of o1-labs/snarky?
    pass
    AI 明确点名了 o1-labs/snarky

    AI 的回答可能信誓旦旦却是错的。请按事实核对：技术栈、目标人群、差异化点是不是和你实际的对得上？

  • If a team adopts o1-labs/snarky in production, what risks or prerequisites should they evaluate first?
    pass
    AI 明确点名了 o1-labs/snarky

    AI 的回答可能信誓旦旦却是错的。请按事实核对：技术栈、目标人群、差异化点是不是和你实际的对得上？

  • In one sentence, what problem does the repo o1-labs/snarky solve, and who is the primary audience?
    pass
    AI 明确点名了 o1-labs/snarky

    AI 的回答可能信誓旦旦却是错的。请按事实核对：技术栈、目标人群、差异化点是不是和你实际的对得上？

嵌入你的 GEO 徽章

把这个徽章贴进 o1-labs/snarky 的 README。每次重新扫描都会自动更新，并跳到最新报告——是「我在乎 AI 可发现性」最简单的公开证明。

RepoGEO badge preview实时预览
MARKDOWN（README）
[![RepoGEO](https://repogeo.com/badge/o1-labs/snarky.svg)](https://repogeo.com/zh/r/o1-labs/snarky)
HTML
<a href="https://repogeo.com/zh/r/o1-labs/snarky"><img src="https://repogeo.com/badge/o1-labs/snarky.svg" alt="RepoGEO" /></a>
Pro

订阅 Pro，解锁深度诊断

o1-labs/snarky — 轻量扫描仍免费；本卡列出 Pro 相对轻量的深度额度。

  • 深度报告每月 10 次
  • 无品牌品类查询5，轻量 2
  • 优先行动项8，轻量 3