82/100 (Low)

OpenClaw： benign
VirusTotal： suspicious
StaticScan： clean

OpenClaw： benign

The skill's declared purpose (running Lean 4, Coq, and Z3 locally) matches its requirements and instructions; nothing requested is disproportionate or unrelated to formal verification.

VirusTotal： suspicious VT 报告

静态扫描： clean

No suspicious patterns detected.

README 未提供

{
    "latestVersion": {
        "_creationTime": 1773656330907,
        "_id": "k97fg9gsz4krn98nnzezm9706s831gxn",
        "changelog": "Accurately describe execution model: Lean\/Coq read stdlib via elan\/opam, clarify network access boundaries",
        "changelogSource": "user",
        "createdAt": 1773656330907,
        "parsed": {
            "clawdis": {
                "emoji": "🔬",
                "homepage": "https:\/\/github.com\/Prismer-AI\/Prismer",
                "requires": {
                    "bins": [
                        "lean",
                        "coqc",
                        "z3"
                    ]
                }
            }
        },
        "version": "1.0.8"
    },
    "owner": {
        "_creationTime": 0,
        "_id": "publishers:missing",
        "displayName": "willamhou",
        "handle": "willamhou",
        "image": "https:\/\/avatars.githubusercontent.com\/u\/8574759?v=4",
        "kind": "user",
        "linkedUserId": "kn7bpmt7x1srbd3rq6npp5sr8s82ga5e"
    },
    "ownerHandle": "willamhou",
    "skill": {
        "_creationTime": 1773124248162,
        "_id": "kd78bs7e2sjcgq41s5zs329qvs82mm2z",
        "badges": [],
        "createdAt": 1773124248162,
        "displayName": "Formal Methods",
        "latestVersionId": "k97fg9gsz4krn98nnzezm9706s831gxn",
        "ownerUserId": "kn7bpmt7x1srbd3rq6npp5sr8s82ga5e",
        "slug": "formal-provers",
        "stats": {
            "comments": 0,
            "downloads": 138,
            "installsAllTime": 0,
            "installsCurrent": 0,
            "stars": 0,
            "versions": 9
        },
        "summary": "Formal verification with Lean 4, Coq, and Z3 SMT solver",
        "tags": {
            "latest": "k97fg9gsz4krn98nnzezm9706s831gxn"
        },
        "updatedAt": 1774331246152
    }
}