测试与安全 AI 技能

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

分类目录: 测试与安全

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

测试与安全清除筛选

GitHub

ordered-locale-fanout

plurigrid

UPDATED: Now uses proper ordered-locale (Heunen-van der Schaaf 2024). Cocone construction over triadic ordered locale with open cone condition.

☆ 5查看技能

GitHub

cheapskate

plurigrid

Cheapskate Skill

☆ 5查看技能

GitHub

jira-issues

plurigrid

Create, update, and manage Jira issues from natural language. Use when the user wants to log bugs, create tickets, update issue status, or manage their Jira backlog.

☆ 5查看技能

GitHub

xenodium-elisp

plurigrid

Xenodium's Emacs packages: chatgpt-shell, agent-shell, dwim-shell-command, and ACP integration for modern Emacs development.

☆ 5查看技能

GitHub

hatchery-papers

plurigrid

Chicken Scheme Hatchery eggs and academic papers for color logic, 2TDX, colored operads, and higher observational type theory.

☆ 5查看技能

GitHub

juvix-intents

plurigrid

Juvix intent-centric language for Anoma with Geb compilation and GF(3) typed resources

☆ 5查看技能

GitHub

specter-navigator-gadget

plurigrid

Unified Specter/Navigator/3-MATCH architecture with bidirectional path compilation

☆ 5查看技能

GitHub

trajectory

plurigrid

Path traced by solution through phase space

☆ 5查看技能

GitHub

code-documentation

plurigrid

Writing effective code documentation - API docs, README files, inline

☆ 5查看技能

GitHub

lean-proof-walk

plurigrid

GF(3)-balanced random walk through Lean proof states. Use when generating formal proof chains with parallel triad verification. Invokes 3 agents (Generator +1, Coordinator 0, Validator -1) to traverse proof spa...

☆ 5查看技能

GitHub

meeting-insights-analyzer

plurigrid

Analyzes meeting transcripts and recordings to uncover behavioral patterns,

☆ 5查看技能

GitHub

fuzzing-obstacles

plurigrid

Overcoming fuzzing obstacles and improving fuzzer effectiveness.

☆ 5查看技能

GitHub

nix-acset-worlding

plurigrid

Model Nix store as Attributed C-Set for dependency verification, GC analysis,

☆ 5查看技能

GitHub

scum-score

plurigrid

SCUM Score Skill

☆ 5查看技能

GitHub

directed-interval

plurigrid

Directed interval type 2 axiomatizing (0 → 1). Time-directed homotopy

☆ 5查看技能

GitHub

lyapunov-stability

plurigrid

Stability via Lyapunov's direct method

☆ 5查看技能

GitHub

ergodicity

plurigrid

Time averages equal space averages

☆ 5查看技能

GitHub

elisp

plurigrid

Emacs Lisp reference (106K lines info).

☆ 5查看技能

GitHub

specter-acset

plurigrid

Specter-style bidirectional navigation for Julia Collections, S-expressions, and ACSets with inline caching

☆ 5查看技能

GitHub

zx-calculus

plurigrid

Coecke's ZX-calculus for quantum circuit reasoning via string diagrams with Z-spiders (green) and X-spiders (red)

☆ 5查看技能

GitHub

obstruction-learning

plurigrid

Obstruction Learning Skill

☆ 5查看技能

GitHub

iot-device-provisioning

plurigrid

Secure provisioning for TizenRT/ARTIK IoT devices. Coordinates certificate installation, key management, and network onboarding.

☆ 5查看技能

GitHub

unworlding-involution

plurigrid

Self-inverse derivation patterns where ι∘ι = id for frame-invariant self

☆ 5查看技能

GitHub

agent-o-rama

plurigrid

Layer 4: Learning and Pattern Extraction for Cognitive Surrogate Systems

☆ 5查看技能

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