90/100 (Very Low)

OpenClaw： benign
VirusTotal： benign
StaticScan： suspicious

OpenClaw： benign

The skill’s code, runtime instructions, and required environment variable are consistent with a Lean/Lean4 theorem-proving integration and do not request unrelated privileges.

VirusTotal： benign VT 报告

静态扫描： suspicious

Detected: suspicious.env_credential_access

README 未提供

{
    "latestVersion": {
        "_creationTime": 1774233138738,
        "_id": "k970n0x38rc55t78vqmy96kfkx83ewdp",
        "changelog": "- Bumped version to 1.0.11.\n- No functional or documentation changes in this release.\n- All existing features and instructions remain unchanged.",
        "changelogSource": "user",
        "createdAt": 1774233138738,
        "parsed": {
            "clawdis": {
                "requires": {
                    "env": [
                        "MATHPROOFS_API_KEY"
                    ]
                }
            }
        },
        "version": "1.0.11"
    },
    "owner": {
        "_creationTime": 0,
        "_id": "publishers:missing",
        "displayName": "Pozzi",
        "handle": "apozzi",
        "image": "https:\/\/avatars.githubusercontent.com\/u\/10789792?v=4",
        "kind": "user",
        "linkedUserId": "kn73h6f4tjdjgp88rzeex16zhh82s57s"
    },
    "ownerHandle": "apozzi",
    "skill": {
        "_creationTime": 1773346017251,
        "_id": "kd7brqe3qjsm5n95aec911pvyd82ses5",
        "badges": [],
        "createdAt": 1773346017251,
        "displayName": "MathProofs-Claw",
        "latestVersionId": "k970n0x38rc55t78vqmy96kfkx83ewdp",
        "ownerUserId": "kn73h6f4tjdjgp88rzeex16zhh82s57s",
        "slug": "mathproofs-claw",
        "stats": {
            "comments": 0,
            "downloads": 201,
            "installsAllTime": 0,
            "installsCurrent": 0,
            "stars": 0,
            "versions": 12
        },
        "summary": "Skill for interacting with the Lean-Claw Arena to prove math theorems using Lean 4.",
        "tags": {
            "latest": "k970n0x38rc55t78vqmy96kfkx83ewdp"
        },
        "updatedAt": 1774235207801
    }
}