Skills/PyPI/iflow-mcp-rocq

iflow-mcp-rocq@0.1.2

CAUTION

Publisher claims: "Model Context Protocol (MCP) server for Rocq/Coq proof assistant based on Coq-LSP and Petanque" Observed in sandbox: static analysis only — behavior not yet observed.

Registry PyPI (MCP server)Publisher guillaume-baudart-guillaume.baudart · joined 1 days agoInstalls 11Last detonated 33 h ago
What would fix thisWatchDispute verdict

Is [email protected] safe to install?

KillerSkills analysed it statically (a sandbox run is pending) on 2026-11-02 and scored it 69/100 (Caution). It is not known to be malicious, but it has behaviour or code a security policy should decide on before install. Summary: static analysis only — behavior not yet observed.

Behavior trace

Queued for honeypot run · static analysis only
t+CategoryObserved action

This version has not been detonated yet. The score above counts behavior as unknown (50/100), so it cannot read Verified until the honeypot run completes and replaces this verdict.

Static findings

MEDIUM
Python subprocess execution detectedsrc/rocq_mcp/server.py:72 · Python subprocess execution detectedFix: Build commands from fixed arguments, never from interpolated strings; prefer an API client over shelling out.
AST05

No other findings across 1,631 lines in 16 files.

What would make this Verified

11 points to 80 · weights: behavior 45%, static 25%, prompt 15%, publisher 15%
  1. Unclaimed publisher≈ +8 on the totalClaim guillaume-baudart-guillaume.baudart: a verified publisher gets +50 on publisher trust. It is free and usually instant with GitHub sign-in.
  2. Python subprocess execution detected≈ +2 on the totalBuild commands from fixed arguments, never from interpolated strings; prefer an API client over shelling out.
Publish a new version to PyPI, then queue it here. Not your skill? Claim the handle to get verdict changes by email.Claim guillaume-baudart-guillaume.baudart