メニュー
Verify VSA (Vector Symbolic Architecture) mathematical proofs and operations. Use for math verification, bind/unbind/bundle testing, phi identity checks.
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
Trinity Bridge manual — architecture, endpoints, commands, patterns for Perplexity-Railway-Mac-Claude Code channel. Reference for all AI agents.
Generate Zig or Verilog code from VIBEE specifications. Use when creating or updating .tri specs and regenerating code.
GOD MODE — Agent monitoring dashboard. Shows swarm status, task queue, pipeline compliance, circuit breakers, git activity, and rule violations.
Generate Zig or Verilog code from VIBEE specifications. Use when creating or updating .tri specs and regenerating code.
HEALER — diagnose, heal, commit dirty files, monitor junk & docs & duplicates, report honestly. Every loop = action + proof.
Agent swarm development dashboard — live Railway containers, issue queue, PR pipeline, JSONL events, pool utilization, and queue drain status. Use when checking agent dev tasks, spawning status, or monitoring issues #315-#319.
| name | vsa-verify |
| description | Verify VSA (Vector Symbolic Architecture) mathematical proofs and operations. Use for math verification, bind/unbind/bundle testing, phi identity checks. |
| argument-hint | ["operation or proof to verify"] |
| allowed-tools | Read, Grep, Glob, Bash |
!cd /Users/playra/trinity-w1 && zig test src/vsa.zig 2>&1 | tail -10
Verify VSA mathematical correctness for: $ARGUMENTS
unbind(bind(a, b), b) == a for all hypervectorsbundle3(a, a, b) ~ a (similarity > 0.5)permute(permute(v, k), -k) == vphi^2 + 1/phi^2 = 3 in computationssrc/vsa.zig (bind, unbind, bundle, similarity)src/vsa/tests.zigsrc/bsd/verify_bsd.zigdocsite/docs/math-foundations/vsa-theorems.mdsrc/hslm/constants.zig