一键导入
vsa-verify
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 页面并帮你完成安装。
菜单
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