bdd-mathematical-verification

Warn

Audited by Snyk on Feb 16, 2026

Risk Level: MEDIUM
Full Analysis

MEDIUM W011: Third-party content exposure detected (indirect prompt injection risk).

  • Third-party content exposure detected (high risk: 0.70). The skill ingests and processes arbitrary user-supplied images and PDFs via the mathpix-gem (see MathematicalFormulaExtractor.extract_from_image and extract_from_document in lib/mathematical_formula_extractor.rb and the Cucumber steps that call them), parsing returned LaTeX/Markdown that the agent then reads and acts on—exposing it to untrusted, user-generated third-party content from the Mathpix service.
Audit Metadata
Risk Level
MEDIUM
Analyzed
Feb 16, 2026, 07:31 PM