测试与安全 AI 技能

发现测试与安全相关 Skills，比较来源仓库和用途，查看适合你工作流的技能说明。

分类目录: 测试与安全

最近收录最多 Forks 编辑推荐更多筛选

测试与安全清除筛选

GitHub

time-travel-crdt

plurigrid

Time Travel CRDT Skill

☆ 5查看技能

GitHub

entropy-sequencer

plurigrid

Layer 5: Interaction Interleaving for Maximum Information Gain

☆ 5查看技能

GitHub

ocaml

plurigrid

OCaml ecosystem = opam + dune + merlin + ocamlformat.

☆ 5查看技能

GitHub

acsets-algebraic-databases

plurigrid

ACSets (Attributed C-Sets): Algebraic databases as in-memory data structures. Category-theoretic formalism for relational databases generalizing graphs and data frames.

☆ 5查看技能

GitHub

constraint-generalization

plurigrid

Generalization and composition of constraints across navigators

☆ 5查看技能

GitHub

emacs

plurigrid

Emacs ecosystem = elisp + org + gnus + tramp + eglot.

☆ 5查看技能

GitHub

substrate-vulnerability-scanner

plurigrid

Scans Substrate/Polkadot pallets for 7 critical vulnerabilities including arithmetic overflow, panic DoS, incorrect weights, and bad origin checks. Use when auditing Substrate runtimes or FRAME pallets. (projec...

☆ 5查看技能

GitHub

stellogen

plurigrid

Stellogen Skill

☆ 5查看技能

GitHub

sicp

plurigrid

SICP: Structure and Interpretation of Computer Programs - computational processes, abstraction, and metalinguistic design

☆ 5查看技能

GitHub

anima-theory

plurigrid

ANIMA as limit construction over condensed skill applications. Formalizes prediction markets as belief ANIMAs, structure dishes as condensation media, and impact as equivalence class change. Use for understandi...

☆ 5查看技能

GitHub

datalog-fixpoint

plurigrid

Datalog bottom-up fixpoint iteration for recursive queries

☆ 5查看技能

GitHub

babashka-clj

plurigrid

Babashka scripting for fast Clojure execution. JVM-less scripting with GraalVM native compilation and sci interpreter.

☆ 5查看技能

GitHub

bdd-mathematical-verification

plurigrid

BDD-Driven Mathematical Content Verification Skill Combines Behavior-Driven Development with mathematical formula extraction, verification, and transformation using: - Cucumber/Gherkin for specification - RSpe...

☆ 5查看技能

GitHub

privilege-declaration-generator

plurigrid

Generates tizen-manifest.xml and config.xml privilege declarations. Auto-detects required privileges from app source code.

☆ 5查看技能

GitHub

rama-gay-zig

plurigrid

rama-gay-zig skill

☆ 5查看技能

GitHub

discopy-operads

plurigrid

DiscoPy Operads Skill

☆ 5查看技能

GitHub

koopman-generator

plurigrid

Koopman operator theory for infinite-dimensional linear lifting of nonlinear dynamics. Generates dynamics from observables.

☆ 5查看技能

GitHub

discohy-streams

plurigrid

DisCoPy categorical color streams via Hy with 3 parallel TAP streams and 7 operad variants

☆ 5查看技能

GitHub

active-interleave

plurigrid

Active Interleave Skill

☆ 5查看技能

GitHub

cognitive-surrogate

plurigrid

cognitive-surrogate skill

☆ 5查看技能

GitHub

behaviour-surprisal-analysis

plurigrid

Behaviour Surprisal Analysis

☆ 5查看技能

GitHub

smack-policy-generator

plurigrid

Generates SMACK policy files from app requirements. Creates mandatory access control rules for process isolation and resource access.

☆ 5查看技能

GitHub

mbius-path-filtering

plurigrid

Non-orientable topological filtering that eliminates self-revisiting paths

☆ 5查看技能

GitHub

acsets-hatchery

plurigrid

Attributed C-Sets as algebraic databases. Category-theoretic data structures generalizing graphs and dataframes with Gay.jl color integration.

☆ 5查看技能

默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。