MCP, MCP server
vibetex
vibetex, an MCP server listed in the PlugVet directory.
Compatibility: Not stated.
Grade B
Minor issues only, no Medium or High. Worth a quick look at the findings below before installing.
Not a guarantee. A hygiene check of the source at the commit shown, not a security audit.
NETWORK_NO_FIXED_HOST SECRETS_PATH_DOTENV
Why this grade
- NETWORK_NO_FIXED_HOST Low
Makes a network call whose host is not written as a fixed address.
src/api/clsi-client.ts, line 118
const res = await this.deps.fetcher.fetch(`${clsiUrl}/project/${projectId}/compile`, { - SECRETS_PATH_DOTENV Low
Mentions a .env file.
src/config.ts, line 62
* Treats an empty string (a bare `KEY=` line in a .env file) as unset rather
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
Pass
No shell or command execution found, and no extra permission was declared.
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/api/clsi-client.ts, line 118
const res = await this.deps.fetcher.fetch(`${clsiUrl}/project/${projectId}/compile`, {
src/api/clsi-client.ts, line 163
const res = await this.deps.fetcher.fetch(url, { method: 'GET' });
src/api/http.ts, line 44
async fetch(
Show more
src/api/open-in-overleaf.ts, line 170
res = await this.deps.fetcher.fetch(req.url, {
src/api/session-client.ts, line 131
const res = await this.deps.fetcher.fetch(`${this.deps.config.baseUrl}/project`, {
src/api/session-client.ts, line 145
const res = await this.deps.fetcher.fetch(
src/api/session-client.ts, line 173
const res = await this.deps.fetcher.fetch(
src/api/session-client.ts, line 192
const res = await this.deps.fetcher.fetch(
docker-compose.yml, line 27
test: ["CMD", "node", "-e", "fetch('http://127.0.0.1:3939/healthz').then(r=>process.exit(r.ok?0:1)).catch(()=>process.exit(1))"]
Secrets
Concern
reads a credential or environment file.
SECRETS_PATH_DOTENV
src/config.ts, line 62
* Treats an empty string (a bare `KEY=` line in a .env file) as unset rather
.dockerignore, line 2
dist
.dockerignore, line 3
.env
Show more
.env.example, line 1
# vibeTeX configuration - copy to .env and fill in. NEVER commit your real .env.
.github/PULL_REQUEST_TEMPLATE.md, line 14
- [ ] Tool descriptions remain accurate (model-facing) and any new env vars are documented in `.env.example` + docs
.gitignore, line 11
# Env & secrets
.gitignore, line 12
.env
.gitignore, line 14
!.env.example
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 984186906d1e. can reach a host that is not written as a fixed address. reads a credential or environment file.
Date and source
Date checked:
github.com
Commit graded: 984186906d1e8c3934951710557f93296c03ac9d
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.