100/100 (Very Low)

OpenClaw： benign
VirusTotal： benign
StaticScan： clean

OpenClaw： benign

The skill's code, files, and runtime instructions are internally consistent with its stated purpose of local protocol verification, but it depends on an external Python package and runs a local MCP se...

[内容已截断]

VirusTotal： benign VT 报告

静态扫描： clean

No suspicious patterns detected.

README 未提供

{
    "latestVersion": {
        "_creationTime": 1773518410328,
        "_id": "k97aa3ax79a5hqpbw83zghr5sd82xz2v",
        "changelog": "4 MCP tools: formal protocol verification for AI agent communication. Session types + Lean 4 proofs.",
        "changelogSource": "user",
        "createdAt": 1773518410328,
        "parsed": {
            "clawdis": {
                "emoji": "🔬",
                "requires": {
                    "bins": [
                        "uvx"
                    ]
                }
            }
        },
        "version": "0.1.0"
    },
    "owner": {
        "_creationTime": 0,
        "_id": "publishers:missing",
        "displayName": "rafapra3008",
        "handle": "rafapra3008",
        "image": "https:\/\/avatars.githubusercontent.com\/u\/241465573?v=4",
        "kind": "user",
        "linkedUserId": "kn72eg5z3v3ntmkv3vpqjfmzdd82wthw"
    },
    "ownerHandle": "rafapra3008",
    "skill": {
        "_creationTime": 1773518410328,
        "_id": "kd73a815hr1rx11j9tbdn0qrkx82x3b3",
        "badges": [],
        "createdAt": 1773518410328,
        "displayName": "Lingua Universale Protocol Verification",
        "latestVersionId": "k97aa3ax79a5hqpbw83zghr5sd82xz2v",
        "ownerUserId": "kn72eg5z3v3ntmkv3vpqjfmzdd82wthw",
        "slug": "lingua-universale",
        "stats": {
            "comments": 0,
            "downloads": 106,
            "installsAllTime": 0,
            "installsCurrent": 0,
            "stars": 0,
            "versions": 1
        },
        "summary": "Verify agent-to-agent communication against session type protocols. Mathematical proofs, not trust.",
        "tags": {
            "latest": "k97aa3ax79a5hqpbw83zghr5sd82xz2v"
        },
        "updatedAt": 1773518808059
    }
}