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": 1774420620945,
        "_id": "k97ay02e2kqnb3m3c0j13ed3b983j8ne",
        "changelog": "Clarify isolated Rocq theorem skill boundary",
        "changelogSource": "user",
        "createdAt": 1774420620945,
        "version": "1.0.3"
    },
    "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": [],
        "canonicalSkillId": "kd70kfc4jshj8na7jwwe8zyx0h8370qm",
        "createdAt": 1774402080914,
        "displayName": "openmath-rocq-theorem",
        "forkOf": {
            "at": 1774419240468,
            "kind": "duplicate",
            "skillId": "kd70kfc4jshj8na7jwwe8zyx0h8370qm",
            "version": "1.0.2"
        },
        "latestVersionId": "k97ay02e2kqnb3m3c0j13ed3b983j8ne",
        "ownerPublisherId": "s17bfnganc0p4qzdxxdd6kcma183hq1s",
        "ownerUserId": "kn79j01w3m84j7rd9jxs2xzz6d8369nn",
        "slug": "openmath-rocq-theorem",
        "stats": {
            "comments": 0,
            "downloads": 26,
            "installsAllTime": 1,
            "installsCurrent": 1,
            "stars": 0,
            "versions": 3
        },
        "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": "k97ay02e2kqnb3m3c0j13ed3b983j8ne"
        },
        "updatedAt": 1774424356928
    }
}