Grades are a hygiene check, not a security guarantee.

MCP, MCP server

reverify

Stop your AI from making things up — it proposes, deterministic tools decide, every claim checked against ground truth with evidence.

Compatibility: Not stated.

Grade B

Minor issues only, no Medium or High. Worth a quick look at the findings below before installing.

Graded by PlugVetRubric v2

Not a guarantee. A hygiene check of the source at the commit shown, not a security audit.

Rescanned at commit f32ea84ccd6b, unchanged since the check below.

PERMISSION_DELETE_FILES NETWORK_NO_FIXED_HOST SECRETS_ENV_READ

Why this grade

  • PERMISSION_DELETE_FILES Low

    Contains a call that can delete files.

    benchmarks/corpus/build.py, line 29 p = subprocess.run(cmd, capture_output=True, text=True, timeout=30)

  • NETWORK_NO_FIXED_HOST Low

    Makes a network call whose host is not written as a fixed address.

    reverify/agent.py, line 578 with urllib.request.urlopen(req, timeout=timeout) as resp:

  • SECRETS_ENV_READ Note

    Reads an environment variable whose name contains KEY, SECRET, TOKEN, PASSWORD or CREDENTIAL.

    benchmarks/model_loop.py, line 157 if not mock and not os.getenv("OPENAI_API_KEY"):

Any High, or two or more Medium findings, give D. One Medium gives C. Low findings or a security Note give B. Each code names a finding behind the letter.

Grades are a hygiene check of the source at the commit shown, on the date checked, not a security audit or a guarantee. The free directory grades are automated. Before release, a PlugVet engineer reviews every paid report and any grade we hold back, including all F grades, against the source code and the evidence we quote.

What was checked

Plain notes from the hygiene checks.

  • Permissions

    Concern

    can delete files.

    PERMISSION_DELETE_FILES

    benchmarks/corpus/build.py, line 29

    p = subprocess.run(cmd, capture_output=True, text=True, timeout=30)

    benchmarks/corpus/build.py, line 37

    p = subprocess.run(cmd, cwd=cwd, capture_output=True, text=True, timeout=120)

    benchmarks/corpus/build.py, line 86

    os.remove(os.path.join(out_dir, junk))

    Show more

    reverify/ledger.py, line 373

    os.remove(tmp)

    reverify/rollover_harness.py, line 1046

    proc = subprocess.run(cmd, cwd=cwd or None, env=clean, capture_output=True, timeout=90)

    reverify/rollover_harness.py, line 1728

    subprocess.run(["stty", "sane"], check=False)

    reverify/rollover_harness.py, line 1733

    def terminate(proc: "subprocess.Popen[Any]", graceful: bool = True, grace: float = 6.0) -> None:

    reverify/rollover_harness.py, line 1760

    subprocess.run(["taskkill", "/PID", str(proc.pid), "/T", "/F"], check=False,

    reverify/rollover_harness.py, line 1803

    def spawn(self, opening: Optional[str]) -> Tuple[str, "subprocess.Popen[Any]"]:

    reverify/rollover_harness.py, line 1810

    return launch_id, subprocess.Popen(cmd, env=env)

  • Install and update

    Pass

    No install-time script found, and dependencies are pinned or absent.

  • Network

    Concern

    can reach a host that is not written as a fixed address.

    NETWORK_NO_FIXED_HOST

    reverify/agent.py, line 578

    with urllib.request.urlopen(req, timeout=timeout) as resp:

    reverify/rollover.py, line 200

    with urllib.request.urlopen(req, timeout=self.timeout) as resp:

    .github/scripts/codex_review.py, line 31

    with urllib.request.urlopen(req, timeout=timeout) as resp:

  • Secrets

    Note

    reads an environment variable.

    SECRETS_ENV_READ

    benchmarks/model_loop.py, line 157

    if not mock and not os.getenv("OPENAI_API_KEY"):

    reverify/agent.py, line 558

    api_key = api_key or os.getenv("OPENAI_API_KEY")

    reverify/rollover.py, line 178

    self.api_key = api_key or os.getenv("OPENAI_API_KEY")

  • Agent instructions

    Pass

    No instruction to ignore earlier instructions or to hide a step.

  • Obfuscation

    Pass

    No encoded or minified payload found.

  • Licence

    Pass

    A licence file is present (LICENSE).

  • Maintainer activity

    Pass

    The latest commit is within the last 365 days.

Note

Hygiene check of commit f32ea84ccd6b. can delete files. can reach a host that is not written as a fixed address. reads an environment variable.

Date and source

Date checked:

View source

github.com

Commit graded: f32ea84ccd6bb2aff90eca711ccfdbf04e6b8923

This link goes to the original host. PlugVet does not host or check what you download from there, and installing it is your own decision and risk.

Read how this letter is chosen