82/100 (Low)

OpenClaw： benign
VirusTotal： suspicious
StaticScan： clean

OpenClaw： benign

The skill's requests and instructions are coherent with its stated purpose (setting up Lean proof workspaces and optionally installing Lean proof skills); nothing appears to be asking for unrelated se...

[内容已截断]

VirusTotal： suspicious VT 报告

静态扫描： clean

No suspicious patterns detected.

README 未提供

{
    "latestVersion": {
        "_creationTime": 1774411249941,
        "_id": "k9702d5rk29c2eyaw7hfyhpzy983j9sa",
        "changelog": "Require explicit install dir for Lean preflight auto-install",
        "changelogSource": "user",
        "createdAt": 1774411249941,
        "version": "1.0.2"
    },
    "owner": {
        "_creationTime": 0,
        "_id": "s17bfnganc0p4qzdxxdd6kcma183hq1s",
        "displayName": "Benny",
        "handle": "bennyzhe",
        "image": "https:\/\/avatars.githubusercontent.com\/u\/18119716?v=4",
        "kind": "user",
        "linkedUserId": "kn79j01w3m84j7rd9jxs2xzz6d8369nn"
    },
    "ownerHandle": "bennyzhe",
    "skill": {
        "_creationTime": 1773906733773,
        "_id": "kd70kfc4jshj8na7jwwe8zyx0h8370qm",
        "badges": [],
        "createdAt": 1773906733773,
        "displayName": "openmath-lean-theorem",
        "latestVersionId": "k9702d5rk29c2eyaw7hfyhpzy983j9sa",
        "ownerPublisherId": "s17bfnganc0p4qzdxxdd6kcma183hq1s",
        "ownerUserId": "kn79j01w3m84j7rd9jxs2xzz6d8369nn",
        "slug": "openmath-lean-theorem",
        "stats": {
            "comments": 0,
            "downloads": 37,
            "installsAllTime": 0,
            "installsCurrent": 0,
            "stars": 0,
            "versions": 2
        },
        "summary": "Configures Lean environments, installs external proof skills, runs preflight checks, and guides the workflow for proving downloaded OpenMath Lean theorems lo...",
        "tags": {
            "latest": "k9702d5rk29c2eyaw7hfyhpzy983j9sa"
        },
        "updatedAt": 1774413927204
    }
}