59/100 (Medium)

OpenClaw： suspicious
VirusTotal： benign
StaticScan： unknown

OpenClaw： suspicious

The skill appears to implement an Acorn proof-workflow and is generally coherent, but it omits declaring that it requires the external 'acorn' CLI (and optionally 'mise') and writes a config file in t...

[内容已截断]

VirusTotal： benign VT 报告

静态扫描： unknown

README 未提供

{
    "latestVersion": {
        "_creationTime": 1770049712656,
        "_id": "k975mnnzjqga6byce7hfnyt94s80cxz7",
        "changelog": "Initial release of the acorn-prover skill.\n\n- Supports verifying and writing proofs using the Acorn theorem prover for mathematical and cryptographic formalization.\n- Guides user setup: prompts for and validates required Acorn library\/project paths; runs setup, and sources config automatically.\n- Commands for verification, re-verification (CI\/CD), training data, and documentation generation, supporting both mise and CLI workflows.\n- Includes quick Acorn syntax overview and highlights key standard library modules.\n- Extensive workflow and troubleshooting instructions for users.",
        "changelogSource": "user",
        "createdAt": 1770049712656,
        "version": "1.0.0"
    },
    "owner": {
        "_creationTime": 0,
        "_id": "publishers:missing",
        "displayName": "flyingnobita",
        "handle": "flyingnobita",
        "image": "https:\/\/avatars.githubusercontent.com\/u\/46126470?v=4",
        "kind": "user",
        "linkedUserId": "kn7etsftvr9xb8hfav1t1e9b4n80bs8d"
    },
    "ownerHandle": "flyingnobita",
    "skill": {
        "_creationTime": 1770049712656,
        "_id": "kd7658c6r5xpf68704jkda2yq180c98b",
        "badges": [],
        "createdAt": 1770049712656,
        "displayName": "Acorn Prover",
        "latestVersionId": "k975mnnzjqga6byce7hfnyt94s80cxz7",
        "ownerUserId": "kn7etsftvr9xb8hfav1t1e9b4n80bs8d",
        "slug": "acorn-prover",
        "stats": {
            "comments": 0,
            "downloads": 1450,
            "installsAllTime": 1,
            "installsCurrent": 1,
            "stars": 1,
            "versions": 1
        },
        "summary": "Verify and write proofs using the Acorn theorem prover for mathematical and cryptographic formalization. Use when working with Acorn proof files (.ac), verifying theorems, formalizing mathematical or cryptographic protocols, or writing proofs in the Acorn language. Triggers on: (1) Creating or editing .ac files, (2) Running acorn verify commands, (3) Formalizing math or crypto proofs, (4) Questions about Acorn syntax or standard library.",
        "tags": {
            "latest": "k975mnnzjqga6byce7hfnyt94s80cxz7"
        },
        "updatedAt": 1772248881022
    }
}