{"skill":{"slug":"lingua-universale","displayName":"Lingua Universale Protocol Verification","summary":"Verify agent-to-agent communication against session type protocols. Mathematical proofs, not trust.","tags":{"latest":"0.1.0"},"stats":{"comments":0,"downloads":219,"installsAllTime":0,"installsCurrent":0,"stars":0,"versions":1},"createdAt":1773518410328,"updatedAt":1777526038959},"latestVersion":{"version":"0.1.0","createdAt":1773518410328,"changelog":"4 MCP tools: formal protocol verification for AI agent communication. Session types + Lean 4 proofs.","license":"MIT-0"},"metadata":{"os":null,"systems":null},"owner":{"handle":"rafapra3008","userId":"publishers:rafapra3008","displayName":"rafapra3008","image":"https://avatars.githubusercontent.com/u/241465573?v=4"},"moderation":null}