在 Manus 中运行任何 Skill
一键导入
一键导入
一键在 Manus 中运行任何 Skill
开始使用$pwd:
$ git log --oneline --stat
stars:240
forks:44
updated:2026年5月13日 15:18
SKILL.md
readonly
$ install --global
$ download --local
$ useful --forSOC
Launch the Plamen deterministic L1 infrastructure audit pipeline
Launch the Plamen deterministic Web3 security audit pipeline
Run the Plamen smart-contract audit wizard in Codex
L1 trigger - audits BLS signature aggregation: subgroup check, rogue-key attack defense, aggregation order, signing-domain separation.
L1 trigger - audits configuration constants, documented bounds, feature-gated values, and unused protocol limits for semantic drift.
L1 trigger - audits consensus arithmetic for truncation, unused bounds, EMA direction, and threshold edge errors.
| name | plamen-l1-wizard |
| description | Run the Plamen L1 infrastructure audit wizard in Codex |
Use the base plamen skill and plamen/plamen-l1-wizard.md. New configs must set pipeline = l1 and cli_backend = codex.
Do not manually orchestrate phases. Do not spawn audit agents yourself. Do not ask a model-selection question from inside Codex.