100/100 (Very Low)

OpenClaw： benign
VirusTotal： benign
StaticScan： clean

OpenClaw： benign

The skill's code, instructions, and requirements are consistent with its stated purpose (discovering, fetching, and scaffolding OpenMath theorems); it performs only local file I/O and HTTP requests to...

[内容已截断]

VirusTotal： benign VT 报告

静态扫描： clean

No suspicious patterns detected.

README 未提供

{
    "latestVersion": {
        "_creationTime": 1774361283833,
        "_id": "k977agh9ay1ffkc1dpexh6w97583hbca",
        "changelog": "query open theorems on openmath",
        "changelogSource": "user",
        "createdAt": 1774361283833,
        "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": 1773906617975,
        "_id": "kd76vfcsed605ncnggr8mrmspx836jjk",
        "badges": [],
        "createdAt": 1773906617975,
        "displayName": "openmath-open-theorem",
        "latestVersionId": "k977agh9ay1ffkc1dpexh6w97583hbca",
        "ownerPublisherId": "s17bfnganc0p4qzdxxdd6kcma183hq1s",
        "ownerUserId": "kn79j01w3m84j7rd9jxs2xzz6d8369nn",
        "slug": "openmath-open-theorem",
        "stats": {
            "comments": 0,
            "downloads": 60,
            "installsAllTime": 0,
            "installsCurrent": 0,
            "stars": 0,
            "versions": 3
        },
        "summary": "Queries open formal verification theorems from the OpenMath platform. Use when the user asks for a list of open theorems, wants Lean or Rocq-specific theorem...",
        "tags": {
            "latest": "k977agh9ay1ffkc1dpexh6w97583hbca"
        },
        "updatedAt": 1774363612603
    }
}