abductive-repl
Hypothesis-Test Loops via REPL for Exploratory Abductive Inference
Discover Testing & security skills, compare source repositories and read the instructions for each workflow.
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
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.