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": 1774408515011,
        "_id": "k971dj49551ebjzpx1drqszned83j1nr",
        "changelog": "submit the proven theorems on openmath",
        "changelogSource": "user",
        "createdAt": 1774408515011,
        "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": 1773906702413,
        "_id": "kd7fr57r012m2heymcmj5m8xg1836yfp",
        "badges": [],
        "createdAt": 1773906702413,
        "displayName": "openmath-submit-theorem",
        "latestVersionId": "k971dj49551ebjzpx1drqszned83j1nr",
        "ownerPublisherId": "s17bfnganc0p4qzdxxdd6kcma183hq1s",
        "ownerUserId": "kn79j01w3m84j7rd9jxs2xzz6d8369nn",
        "slug": "openmath-submit-theorem",
        "stats": {
            "comments": 0,
            "downloads": 42,
            "installsAllTime": 0,
            "installsCurrent": 0,
            "stars": 0,
            "versions": 3
        },
        "summary": "Submits proofs or theorem solutions to the OpenMath platform. Use when the user wants to commit a proof hash or reveal a Lean\/Rocq proof for a specific OpenM...",
        "tags": {
            "latest": "k971dj49551ebjzpx1drqszned83j1nr"
        },
        "updatedAt": 1774408864887
    }
}