Back to skill
Skillv0.1.0
VirusTotal security
Lingua Universale Protocol Verification · External malware reputation and Code Insight signals for this exact artifact hash.
Scanner verdict
BenignApr 30, 2026, 6:20 AM
- Hash
- a75a5965bf1bab1a1b1f358ecfd56b452237f233e25f92ed1b4e2283f86f9ddd
- Source
- palm
- Verdict
- benign
- Code Insight
- Type: OpenClaw Skill Name: lingua-universale Version: 0.1.0 The lingua-universale skill bundle provides a formal verification framework for agent-to-agent communication based on session types. The implementation in lu_mcp_server.py acts as a wrapper for the cervellaswarm-lingua-universale library, exposing tools for parsing protocols, verifying message sequences, and checking safety properties (e.g., deadlock freedom). The code and SKILL.md instructions are well-documented, align with the stated purpose of mathematical protocol verification, and show no signs of data exfiltration, malicious execution, or harmful prompt injection.
- External report
- View on VirusTotal