RRepoGEO

REPOGEO REPORT · LITE

p-org/P

Default branch master · commit 85777601 · scanned 6/23/2026, 12:02:08 PM

GitHub: 3,637 stars · 220 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)

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

AI VISIBILITY SCORE
33 /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
2 / 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 p-org/P, 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
    Explicitly state "p-org/P is the P programming language" in the README's first sentence.

    Why:

    CURRENT
    P is a state machine based programming language for formally modeling and specifying complex distributed systems.
    COPY-PASTE FIX
    The `p-org/P` repository hosts the P programming language, a state machine based language for formally modeling and specifying complex distributed systems.
  • mediumabout#2
    Expand the repository description to include key functionalities and domain.

    Why:

    CURRENT
    The P programming language.
    COPY-PASTE FIX
    The P programming language: a state-machine based language for formally modeling, specifying, and verifying complex asynchronous distributed systems.
  • mediumcomparison#3
    Add a "Comparison with Alternatives" section to highlight P's unique strengths.

    Why:

    COPY-PASTE FIX
    Add a section titled 'P's Differentiators and Comparison' that explicitly outlines P's unique strengths, such as its focus on state machine-based modeling for distributed systems, systematic testing capabilities, and adoption by AWS for critical services, in contrast to tools like TLA+, Spin, or Alloy.

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 p-org/P
Avg rank
—
Lower is better. #1 = top recommendation.
Share of voice
0%
Of all named tools, what % are you?
Top rival
TLA+
Recommended in 2 of 2 queries
COMPETITOR LEADERBOARD
  1. TLA+ · recommended 2×
  2. PlusCal · recommended 1×
  3. Spin · recommended 1×
  4. Alloy · recommended 1×
  5. Coq · recommended 1×
  • CATEGORY QUERY
    How to formally verify correctness of state machine designs for distributed systems?
    you: not recommended
    AI recommended (in order):
    1. TLA+
    2. PlusCal
    3. Spin
    4. Alloy
    5. Coq
    6. Isabelle/HOL
    7. APALACHE

    AI recommended 7 alternatives but never named p-org/P. This is the gap to close.

    Show full AI answer
  • CATEGORY QUERY
    Tools for systematic testing and eliminating bugs in asynchronous distributed systems.
    you: not recommended
    AI recommended (in order):
    1. TLA+
    2. Jepsen (jepsen-io/jepsen)
    3. Chaos Mesh (chaos-mesh/chaos-mesh)
    4. FoundationDB Record Layer Simulator (apple/foundationdb)
    5. QuickCheck (nick8325/quickcheck)
    6. PropEr (proper-testing/proper)
    7. Apache Pulsar Fault Injection Framework (apache/pulsar)

    AI recommended 7 alternatives but never named p-org/P. 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 p-org/P?
    pass
    AI named p-org/P explicitly

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

  • If a team adopts p-org/P in production, what risks or prerequisites should they evaluate first?
    pass
    AI named p-org/P 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 p-org/P solve, and who is the primary audience?
    pass
    AI did not name p-org/P — likely talking about a different project

    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 p-org/P. 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/p-org/P.svg)](https://repogeo.com/en/r/p-org/P)
HTML
<a href="https://repogeo.com/en/r/p-org/P"><img src="https://repogeo.com/badge/p-org/P.svg" alt="RepoGEO" /></a>
Pro

Subscribe to Pro for deep diagnoses

p-org/P — 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