100/100 (Very Low)

OpenClaw： benign
VirusTotal： benign
StaticScan： clean

OpenClaw： benign

This is an instruction-only skill that guides local Rocq/Coq proof workflows; its required commands and file reads match the stated purpose and it does not request credentials or download code.

VirusTotal： benign VT 报告

静态扫描： clean

No suspicious patterns detected.

README 未提供

{
    "latestVersion": {
        "_creationTime": 1774420289470,
        "_id": "k975b9hjnbsq22qk1n0wapz3ah83jkmd",
        "changelog": "Clarify isolated Rocq theorem skill boundary",
        "changelogSource": "user",
        "createdAt": 1774420289470,
        "version": "1.0.3"
    },
    "owner": {
        "_creationTime": 0,
        "_id": "s171kbv2h9y00rfnvgsrh9229s83kw0r",
        "displayName": "shentu",
        "handle": "shentu-ai",
        "image": "https:\/\/avatars.githubusercontent.com\/u\/259856114?v=4",
        "kind": "user",
        "linkedUserId": "kn7awek6mwa2w49vq5n6xsz7y983jj24"
    },
    "ownerHandle": "shentu-ai",
    "skill": {
        "_creationTime": 1774419827506,
        "_id": "kd73re4egr13g8g63byh2r8bhn83jzba",
        "badges": [],
        "createdAt": 1774419827506,
        "displayName": "openmath-rocq-theorem",
        "latestVersionId": "k975b9hjnbsq22qk1n0wapz3ah83jkmd",
        "ownerPublisherId": "s171kbv2h9y00rfnvgsrh9229s83kw0r",
        "ownerUserId": "kn7awek6mwa2w49vq5n6xsz7y983jj24",
        "slug": "openmath-rocq-theorems",
        "stats": {
            "comments": 0,
            "downloads": 10,
            "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": "k975b9hjnbsq22qk1n0wapz3ah83jkmd"
        },
        "updatedAt": 1774420914572
    }
}