Scans Cosmos SDK blockchains for 9 consensus-critical vulnerabilities including non-determinism, incorrect signers, ABCI panics, and rounding errors. Use when auditing Cosmos chains or CosmWasm contracts. (project, gitignored)
中文简介正在准备中。当前显示原文说明。
查看安装方法安装前可以查看交给 AI 代理的指令内容。
Trit: -1 (MINUS) Category: building-secure-contracts Author: Trail of Bits Source: trailofbits/skills License: AGPL-3.0
Scans Cosmos SDK blockchains for 9 consensus-critical vulnerabilities including non-determinism, incorrect signers, ABCI panics, and rounding errors. Use when auditing Cosmos chains or CosmWasm contracts. (project, gitignored)
This is a Trail of Bits security skill. Refer to the original repository for detailed usage guidelines and examples.
See: https://github.com/trailofbits/skills
This skill connects to Software Design for Flexibility (Hanson & Sussman, 2021):
Concepts: propagator, cell, constraint, bidirectional, TMS
cosmos-vulnerability-scanner (−) + SDF.Ch7 (○) + [balancer] (+) = 0
Skill Trit: -1 (MINUS - verification)
Propagators flow constraints bidirectionally. This skill propagates information.
还没有评价。欢迎分享你的使用感受。
无需登录即可发表。欢迎分享使用感受、提问，或说明在哪些环境下无法运行。
还没有评论。来写第一条吧。
Model ElevenLabs voice synthesis as an ACSet schema with Unison ability handlers for typed voice operations. Use when integrating ElevenLabs TTS into category-theoretic pipelines, building typed voice synthesis workflows, or managing multi-voice narration with GF(3) conservation.
中文简介正在准备中。当前显示原文说明。
Systematic process for analyzing and modernizing legacy applications to comply with the 12-Factor App methodology. Covers code analysis, configuration externalization, dependency management, and container/Kubernetes best practices.
中文简介正在准备中。当前显示原文说明。
Gay MCP skill at invocation 26
中文简介正在准备中。当前显示原文说明。
Gay MCP skill at invocation 5
中文简介正在准备中。当前显示原文说明。
Gay MCP skill at invocation 27
中文简介正在准备中。当前显示原文说明。
Gay MCP skill at invocation 3
中文简介正在准备中。当前显示原文说明。