Asi wycheproof

Google's Wycheproof test vectors for cryptographic implementation testing.

install

source · Clone the upstream repo

git clone https://github.com/plurigrid/asi

Claude Code · Install into ~/.claude/skills/

T=$(mktemp -d) && git clone --depth=1 https://github.com/plurigrid/asi "$T" && mkdir -p ~/.claude/skills && cp -r "$T/skills/wycheproof" ~/.claude/skills/plurigrid-asi-wycheproof-8eb505 && rm -rf "$T"

manifest: skills/wycheproof/SKILL.md

source content

Wycheproof Skill

Trit: -1 (MINUS) Category: testing-handbook-skills Author: Trail of Bits Source: trailofbits/skills License: AGPL-3.0

Description

Google's Wycheproof test vectors for cryptographic implementation testing.

When to Use

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

Related Skills

audit-context-building
codeql
semgrep
variant-analysis

SDF Interleaving

This skill connects to Software Design for Flexibility (Hanson & Sussman, 2021):

Primary Chapter: 4. Pattern Matching

Concepts: unification, match, segment variables, pattern

GF(3) Balanced Triad

wycheproof (+) + SDF.Ch4 (+) + [balancer] (+) = 0

Skill Trit: 1 (PLUS - generation)

Connection Pattern

Pattern matching extracts structure. This skill recognizes and transforms patterns.