abductive-repl
Hypothesis-Test Loops via REPL for Exploratory Abductive Inference
发现 测试与安全 相关 Skills,比较来源仓库和用途,查看适合你工作流的技能说明。
Hypothesis-Test Loops via REPL for Exploratory Abductive Inference
macOS Keychain credential management with GF(3) balanced operations
Scans for known Tizen CVEs in app dependencies and kernel. Checks OpenCVE database and Samsung security updates.
Building effective fuzzing dictionaries for improved fuzzer performance.
Unified AI agent configuration propagation across 18+ coding assistants.
MCP tripartite integration for orchestrating distributed tool protocols
Scans Solana programs for 6 critical vulnerabilities including arbitrary CPI, improper PDA validation, missing signer/ownership checks, and sysvar spoofing. Use when auditing Solana/Anchor programs. (project, g...
bmorphism Diagrams
World BOB Skill
Babashka and ClojureScript runtime selection guidance by @borkdude
L-Space Skill: The Library of All Libraries
Local approximation of nonlinear dynamics
Integration with OSS-Fuzz for continuous fuzzing.
Adhesive categories for incremental query updating and pattern rewriting
Bridge to PKG systems (Mem0, Graphiti, Solid PODs, Logseq) for individuated information indices
Semantic embeddings for Clojure code navigation via CIDER
Replace temporal succession with derivational chains using deterministic seeds and GF(3) invariants.
zig-programming skill
Use Exa for semantic/neural web search. Exa understands context and returns high-quality results. Use this skill when you need to search the web for documentation, research, or any information that requires und...
Aptos Wallet MCP Skill
Cronin's Turing-complete chemputer for programmable chemical synthesis
DeepWiki MCP server for AI-powered GitHub repository documentation and
World ALICE Skill
Scholze-Clausen condensed mathematics bridge to sheaf neural networks via 6-functor formalism
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库,同一仓库的多个技能可能共享相同数值;它反映仓库关注度,不代表单个技能的安装量或质量评分。