Skills/PyPI/iflow-mcp-mcp-solver

iflow-mcp-mcp-solver@3.4.1

VERIFIED

Publisher claims: "MCP server for Constraint, SAT, and SMT solving" Observed in sandbox: no network, touches nothing outside the project, writes no memory.

Registry PyPI (MCP server)Publisher stefan-szeider-stefan · joined 0 days agoInstalls 25Last detonated 1 h ago
$claude mcp add iflow-mcp-mcp-solver -- uvx iflow-mcp_mcp-solver
WatchReport an issue

Is [email protected] safe to install?

KillerSkills ran it in the KillerSkills honeypot sandbox (2 scenarios) on 2026-11-03 and scored it 80/100 (Verified). It did what it claims and nothing else we could detect: no undeclared network egress, no credential reads, no persistent instruction writes. Summary: no network, touches nothing outside the project, writes no memory.

Behavior trace

Honeypot run · 1 s · 2 scenarios · 0 deviations
t+CategoryObserved action
0.0sprocessno install scripts in bundle
0.5sprocessdependency install exit 1
0.6sprocessexec /usr/bin/timeout
0.6sprocessexec .venv/bin/test-setup-asp
0.6sprocessexited 127: timeout: failed to run command '.venv/bin/test-setup-asp': No such file or directory
0.6sclaimedno tools/list reply (exit 127)
0.6sprocessscript backend runs setup only

Static findings

HIGH
Access to sensitive file pathssrc/mcp_solver/client/llm_factory.py:21 · Access to sensitive file paths — SSH keys, AWS credentials, env files, or system filesFix: Stop enumerating or reading credential locations; take secrets from a declared environment variable the user sets on purpose.
AST05
HIGH
Access to sensitive file pathssrc/mcp_solver/client/client.py:588 · Access to sensitive file paths — SSH keys, AWS credentials, env files, or system filesFix: Stop enumerating or reading credential locations; take secrets from a declared environment variable the user sets on purpose.
AST05
MEDIUM
Access to sensitive file pathssrc/mcp_solver/client/test_setup.py:116 · Access to sensitive file paths — SSH keys, AWS credentials, env files, or system filesFix: Stop enumerating or reading credential locations; take secrets from a declared environment variable the user sets on purpose.
AST05
HIGH
Access to sensitive file pathssrc/mcp_solver/client/llm_factory.py:192 · Access to sensitive file paths — SSH keys, AWS credentials, env files, or system filesFix: Stop enumerating or reading credential locations; take secrets from a declared environment variable the user sets on purpose.
AST05
MEDIUM
Access to sensitive file pathssrc/mcp_solver/client/test_setup.py:179 · Access to sensitive file paths — SSH keys, AWS credentials, env files, or system filesFix: Stop enumerating or reading credential locations; take secrets from a declared environment variable the user sets on purpose.
AST05
MEDIUM
Python subprocess execution detectedtests/run_test.py:614 · Python subprocess execution detectedFix: Build commands from fixed arguments, never from interpolated strings; prefer an API client over shelling out.
AST05