GitHub
acsets-algebraic-databases
ACSets (Attributed C-Sets): Algebraic databases with Specter-style bidirectional
☆ 5查看技能
测试与安全 AI 技能
发现 测试与安全 相关 Skills，比较来源仓库和用途，查看适合你工作流的技能说明。
分类目录: 测试与安全
测试与安全 清除筛选
全部技能
GitHub
linear-logic
Linear Logic Skill
☆ 5查看技能
GitHub
refuse-mediocrity
Reject complacency. Demand excellence. Ship or die.
☆ 5查看技能
GitHub
nickel
Nickel configuration language with gradual typing, contracts, and dynamic sufficiency verification. Use for type-safe configs, transformation contracts, and validation pipelines.
☆ 5查看技能
GitHub
worldmat-tidar
worldmat-tidar
☆ 5查看技能
GitHub
unworlding-involution
Self-inverse derivation patterns where ι∘ι = id for frame-invariant self
☆ 5查看技能
GitHub
langevin-dynamics
Layer 5: SDE-Based Learning Analysis via Langevin Dynamics
☆ 5查看技能
GitHub
open-games
Open Games Skill (ERGODIC 0)
☆ 5查看技能
GitHub
skill-evolution
Patterns for evolutionarily robust skills that adapt across agent generations. Darwin-Godel machine principles for self-improving skill ecosystems.
☆ 5查看技能
GitHub
scheme
GNU Scheme ecosystem = guile + goblins + hoot + fibers.
☆ 5查看技能
GitHub
algorand-vulnerability-scanner
Scans Algorand smart contracts for 11 common vulnerabilities including rekeying attacks, unchecked transaction fees, missing field validations, and access control issues. Use when auditing Algorand projects (TE...
☆ 5查看技能
GitHub
kuramoto-model
Coupled oscillators with sinusoidal coupling
☆ 5查看技能
GitHub
unified-reafference
Cross-agent session database with B3 Poset and Bumpus sheaves
☆ 5查看技能
GitHub
criticality-detector
Criticality Detector Skill
☆ 5查看技能
GitHub
jacobian
Matrix of partial derivatives for linearization
☆ 5查看技能
GitHub
olmoearth-mlx
OlmoEarth MLX: Spatio-Temporal Earth Intelligence
☆ 5查看技能
GitHub
eigenvalue-stability
Stability classification via Jacobian eigenvalues
☆ 5查看技能
GitHub
localsend-mcp
LocalSend-based P2P transfer with MCP server design for NATS/Tailscale
☆ 5查看技能
GitHub
hyjax-relational
HyJAX Relational Thinking Skill
☆ 5查看技能
GitHub
abductive-repl
Hypothesis-Test Loops via REPL for Exploratory Abductive Inference with Gay.jl colors
☆ 5查看技能
GitHub
gay-integration
Gay.jl integration for bisimulation games with proper hue-based trit derivation and GF(3) conservation
☆ 5查看技能
GitHub
ihara-zeta
Ihara zeta function for graphs: non-backtracking walks, prime cycles, and spectral analysis via det(I - uB).
☆ 5查看技能
GitHub
audit-prep-assistant
Prepare your codebase for security review using Trail of Bits' checklist. Helps set review goals, runs static analysis tools, increases test coverage, removes dead code, ensures accessibility, and generates com...
☆ 5查看技能
GitHub
interaction-nets
Lafont's interaction nets for optimal parallel λ-reduction. Graph rewriting
☆ 5查看技能
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。