Manus에서 모든 스킬 실행
원클릭으로
원클릭으로
원클릭으로 Manus에서 모든 스킬 실행
시작하기Skill 메타데이터
스타24
포크6
업데이트2026년 1월 27일 23:41
SKILL.md
readonly
Install
Download
Maps the 18 OCapN/CapTP/E-rights patterns reinvented piecemeal across codex-rs to their canonical Spritely/Goblins equivalents and the hermes-* bridge skills that formalize each correspondence. Use when auditing capability architecture in codex-rs, planning a Hoot/Goblins port, or reasoning about which E-rights primitive a codex-rs module implicitly implements.
Compositional passive inference vs emergent active inference (Hedges Feb 2024) — chain rule, continuations, Siegel-stack cortex mapping, GF(3) triad across monad-bayes / nashator / zig-syrup.
Bridge Hermes' ACP (Agent Client Protocol) transport onto OCapN/CapTP for RPC and Syndicate for the registry/presence layer. The dual (R+D) row of the rubric — invocation/response naturally fits CapTP, while session/agent discovery fits Syndicate dataspace facts. Removes ACP's bespoke wire while keeping its ergonomics.
Replace Hermes' regex-based dangerous-command detector + per-session approval state with a Goblins revocable forwarder — every authority grant has explicit lifecycle (count-limited, time-limited, user-revocable). Approval becomes a cap operation, not a string-pattern guess.
Replace Hermes' multi-credential pool (raw API keys in process memory + file store) with persistent OCapN SturdyRefs wrapped in revocable forwarders. Each provider key becomes an unguessable, revocable cap reference; rotation = swap forwarder; the LLM never sees the bearer string.
Replace Hermes' cron scheduler (jobs.py + scheduler.py) with scheduled facts in a Syndicate dataspace. Each scheduled job is an assertion `(scheduled ?id
| name | fuzzing-obstacles |
| description | Overcoming fuzzing obstacles and improving fuzzer effectiveness. |
| category | testing-handbook-skills |
| author | Trail of Bits |
| source | trailofbits/skills |
| license | AGPL-3.0 |
| trit | -1 |
| trit_label | MINUS |
| verified | true |
| featured | false |
Trit: -1 (MINUS) Category: testing-handbook-skills Author: Trail of Bits Source: trailofbits/skills License: AGPL-3.0
Overcoming fuzzing obstacles and improving fuzzer effectiveness.
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
fuzzing-obstacles (○) + SDF.Ch7 (○) + [balancer] (○) = 0
Skill Trit: 0 (ERGODIC - coordination)
Propagators flow constraints bidirectionally. This skill propagates information.