Skill UI

NetworkX is a powerful Python library used for creating, manipulating, and analyzing complex networks and graphs. It supports graph structures (directed/undirected, multi-edges) and provides extensive algorithms for tasks such as finding shortest paths, calculating centrality measures (e.g., PageRank), detecting communities, and simulating various network types (e.g., scale-free, small-world). Ideal for social science, biology, and transportation network modeling.

A versatile, hardware-agnostic quantum computing framework designed for training quantum circuits and building hybrid quantum-classical models. It provides automatic differentiation, supporting advanced applications in Quantum Machine Learning, Quantum Chemistry (VQE), and variational algorithms, while ensuring portability across major quantum hardware backends (IBM, Google, etc.).

Pymoo is a comprehensive Python framework designed for solving both single-objective and multi-objective optimization problems. It implements state-of-the-art evolutionary algorithms (like NSGA-II, NSGA-III, MOEA/D) and is specialized in identifying Pareto-optimal fronts. This tool is essential for engineering design and scientific problems requiring the analysis of trade-offs among multiple conflicting objectives.

Qiskit is a leading open-source framework for quantum computing. It enables users to build, optimize, and execute complex quantum circuits and algorithms. The platform supports running on various hardware backends, including IBM Quantum, IonQ, and local simulators. Ideal for advanced research in quantum chemistry simulations, variational quantum algorithms (VQE/QAOA), and quantum machine learning.

Stable Baselines3 is a robust, PyTorch-based library providing reliable implementations of state-of-the-art reinforcement learning algorithms (PPO, SAC, DQN, etc.). It is designed for standard RL experiments, quick prototyping, and developing complex single-agent systems. The library supports training agents, creating custom Gymnasium environments, and running vectorized simulations for accelerated learning.

This expert playbook provides a comprehensive guide to lattice-based cryptanalysis techniques. It covers fundamental concepts like SVP and CVP, and deep dives into advanced algorithms such as LLL and BKZ reduction. Key attack applications include Coppersmith's method for finding small roots in RSA, solving the Hidden Number Problem for recovering DSA/ECDSA nonces, and analyzing knapsack ciphers. Essential for CTF and academic cryptanalysis.

This playbook provides expert-level techniques for cryptanalysis of symmetric encryption. It details how to exploit weaknesses in various modes and algorithms, including CBC padding oracle attacks, ECB mode exploitation, bit flipping attacks, stream cipher key reuse, and meet-in-the-middle attacks. Essential for authorized penetration testing and CTF challenges.

Invariant-Guard enforces a correctness-first approach to algorithm design. Instead of writing code and hoping it works, this skill mandates defining the function contract, loop invariants, termination arguments, and all potential edge cases *before* implementation. It is essential for complex algorithms where subtle bugs (like off-by-one errors or missed post-conditions) are common, ensuring mathematically rigorous and verifiable code.

A specialized skill for achieving asymptotic performance gains when classical algorithms are already near optimal. It leverages advanced mathematical techniques and probabilistic data structures (e.g., Bloom Filters, HyperLogLog, FFT, MinHash/LSH) to handle massive datasets (n ≥ 10⁶) by accepting bounded approximations or exploiting deep structural properties. Requires strict adherence to error parameter and complexity justification protocols.

This guide provides a deep dive into the cryptographic techniques used by ransomware, including AES, RSA, ChaCha20, and hybrid schemes. It covers identifying algorithms, analyzing key management patterns (strong, weak, flawed), and reverse engineering file encryption routines to assess decryption feasibility and support recovery efforts.

An AI assistant for generating and analyzing Chinese Bazi (Four Pillars) and Ziwei Dou Shu charts using precise algorithms, supporting individual analysis, cross-validation, and structured report generation.

This skill guides the secure migration from classical cryptography (RSA, ECC) to quantum-resistant algorithms (PQC). It covers building a Cryptographic Bill of Materials (CBOM), identifying data at risk (HNDL), and deploying hybrid key exchange protocols like X25519MLKEM768 to ensure long-term data security against quantum threats.