Grades are a hygiene check, not a security guarantee.

MCP, MCP server

chiasmus

MCP server that gives LLMs access to formal verification via Z3 (SMT solver) and SWI-Prolog (via prolog-wasm-full, includes library(clpfd)), plus tree-sitter-based source code analysis.

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 e3e8aa54d200.

PERMISSION_DELETE_FILES NETWORK_NO_FIXED_HOST SECRETS_PATH_DOTENV SECRETS_ENV_READ

Why this grade

  • PERMISSION_DELETE_FILES Low

    Contains a call that can delete files.

    src/graph/cache.ts, line 212 if (clean) await fs.unlink(writeMarkerPath(paths)).catch(() => {});

  • NETWORK_NO_FIXED_HOST Low

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

    src/llm/anthropic.ts, line 43 const response = await fetch(this.baseUrl, {

  • SECRETS_PATH_DOTENV Low

    Mentions a .env file.

    .npmignore, line 38 .env

  • SECRETS_ENV_READ Note

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

    src/llm/anthropic.ts, line 83 const anthropicKey = process.env.ANTHROPIC_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

    src/graph/cache.ts, line 212

    if (clean) await fs.unlink(writeMarkerPath(paths)).catch(() => {});

    src/graph/cache.ts, line 243

    const manifestTmpClean = await fs.rm(paths.manifestPath + ".tmp", { force: true }).then(() => true, () => false);

    src/graph/cache.ts, line 268

    const removed = await Promise.allSettled(names.filter(match).map((n) => fs.rm(join(dir, n), { force: true })));

    Show more

    src/graph/cache.ts, line 373

    await Promise.all(superseded.map((f) => fs.rm(f, { force: true })));

    src/graph/cache.ts, line 434

    await fs.unlink(e.path);

    src/graph/cache.ts, line 463

    await fs.rm(paths.repoDir, { recursive: true, force: true });

    src/graph/cache.ts, line 529

    await fs.unlink(snapshotPath(paths, name));

  • 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

    src/llm/anthropic.ts, line 43

    const response = await fetch(this.baseUrl, {

    src/llm/azure-openai.ts, line 59

    const response = await fetch(this.url, {

    src/llm/openai-compatible.ts, line 44

    const response = await fetch(url, {

    Show more

    src/llm/openai-compatible.ts, line 108

    const response = await fetch(url, {

  • Secrets

    Concern

    reads a credential or environment file.

    SECRETS_ENV_READ SECRETS_PATH_DOTENV

    src/llm/anthropic.ts, line 83

    const anthropicKey = process.env.ANTHROPIC_API_KEY;

    src/llm/anthropic.ts, line 93

    const deepseekKey = process.env.DEEPSEEK_API_KEY;

    .npmignore, line 38

    .env

    Show more

    src/llm/anthropic.ts, line 103

    const openaiKey = process.env.OPENAI_API_KEY;

    src/llm/anthropic.ts, line 167

    const azureKey = process.env.AZURE_OPENAI_API_KEY;

    src/llm/anthropic.ts, line 187

    const openaiKey = process.env.OPENAI_API_KEY;

    src/llm/anthropic.ts, line 197

    const orKey = process.env.OPENROUTER_API_KEY;

    src/llm/anthropic.ts, line 207

    const deepseekKey = process.env.DEEPSEEK_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.

Get the full report on this tool, £49

Note

Hygiene check of commit e3e8aa54d200. can delete files. can reach a host that is not written as a fixed address. reads a credential or environment file.

Date and source

Date checked:

View source

github.com

Commit graded: e3e8aa54d200f97507514d205b3bfb156aa70150

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