100/100 (Very Low)

OpenClaw： benign
VirusTotal： benign
StaticScan： clean

OpenClaw： benign

The skill's instructions, requirements, and files are internally consistent with a helper for setting up and running Rocq/Coq proofs and do not request unrelated credentials or perform unexpected inst...

[内容已截断]

VirusTotal： benign VT 报告

静态扫描： clean

No suspicious patterns detected.

README 未提供

{
    "latestVersion": {
        "_creationTime": 1774411689583,
        "_id": "k979w35bgdkgcnzq3wwj2c2fn983k9gj",
        "changelog": "Clarify isolated Rocq theorem skill boundary",
        "changelogSource": "user",
        "createdAt": 1774411689583,
        "version": "1.0.2"
    },
    "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": 1774402080914,
        "_id": "kd73scckm7r0cgf6zc6resez7s83kgfh",
        "badges": [],
        "createdAt": 1774402080914,
        "displayName": "openmath-rocq-theorem",
        "latestVersionId": "k979w35bgdkgcnzq3wwj2c2fn983k9gj",
        "ownerPublisherId": "s17bfnganc0p4qzdxxdd6kcma183hq1s",
        "ownerUserId": "kn79j01w3m84j7rd9jxs2xzz6d8369nn",
        "slug": "openmath-rocq-theorem",
        "stats": {
            "comments": 0,
            "downloads": 0,
            "installsAllTime": 0,
            "installsCurrent": 0,
            "stars": 0,
            "versions": 2
        },
        "summary": "Configures Rocq environments, runs preflight checks, and guides the proving workflow for OpenMath Rocq theorems. Use when the user wants to set up Rocq tooli...",
        "tags": {
            "latest": "k979w35bgdkgcnzq3wwj2c2fn983k9gj"
        },
        "updatedAt": 1774414686415
    }
}