82/100 (Low)

OpenClaw： benign
VirusTotal： suspicious
StaticScan： clean

OpenClaw： benign

The skill's requirements, scripts, and runtime instructions are coherent with its stated purpose (submitting proofs to OpenMath/Shentu); it requires only local config and an on-chain CLI and asks for ...

[内容已截断]

VirusTotal： suspicious VT 报告

静态扫描： clean

No suspicious patterns detected.

README 未提供

{
    "latestVersion": {
        "_creationTime": 1774527553557,
        "_id": "k97e0casna34fmmragg41znbvh83nxjj",
        "changelog": "Tighten submit theorem setup guidance",
        "changelogSource": "user",
        "createdAt": 1774527553557,
        "version": "1.0.7"
    },
    "owner": {
        "_creationTime": 0,
        "_id": "s17bfnganc0p4qzdxxdd6kcma183hq1s",
        "displayName": "shentu-org",
        "handle": "bennyzhe",
        "image": "https:\/\/avatars.githubusercontent.com\/u\/18119716?v=4",
        "kind": "user",
        "linkedUserId": "kn79j01w3m84j7rd9jxs2xzz6d8369nn"
    },
    "ownerHandle": "bennyzhe",
    "skill": {
        "_creationTime": 1773906702413,
        "_id": "kd7fr57r012m2heymcmj5m8xg1836yfp",
        "badges": [],
        "createdAt": 1773906702413,
        "displayName": "openmath-submit-theorem",
        "latestVersionId": "k97e0casna34fmmragg41znbvh83nxjj",
        "ownerPublisherId": "s17bfnganc0p4qzdxxdd6kcma183hq1s",
        "ownerUserId": "kn79j01w3m84j7rd9jxs2xzz6d8369nn",
        "slug": "openmath-submit-theorem",
        "stats": {
            "comments": 0,
            "downloads": 133,
            "installsAllTime": 1,
            "installsCurrent": 1,
            "stars": 0,
            "versions": 8
        },
        "summary": "Submits proofs to the OpenMath platform using a two-stage commit-reveal flow. Use when the user wants to commit a proof hash or reveal a Lean\/Rocq proof on t...",
        "tags": {
            "latest": "k97e0casna34fmmragg41znbvh83nxjj"
        },
        "updatedAt": 1774527584360
    }
}