All categories
Testing & QA
Unit tests, integration tests, E2E, QA, validation, and test automation
- 31,543
- 1,315
Security grades appear on each card once the skill has been scanned. Newly imported skills may briefly show without a grade until the backfill job runs.
Open in full browserBrowse testing & qa skills
Showing 5,929–5,952 of 31,543 skills
- Vlm Transmon CalibrationSelf-specializing Vision-Language Model agent for physics-grounded transmon chip calibration. Uses zero-weight-update online adaptation via human-readable device notes, gradient-free strategy refinement with paired-snapshot accept gate, and physics-grounded simulation with realistic drift/wall-time/leakage. Activation: transmon calibration, quantum chip tuning, VLM calibration agent, gradient-free online adaptation, superconducting qubit calibration, 量子芯片校准Votes: 0GitHub stars: 3
- Verifiable Quantum AdvantageDesign and analysis of verifiable quantum algorithms that demonstrate quantum supremacy. Use when working on quantum algorithms with provable advantage, benchmarking quantum vs classical performance, designing quantum verification protocols, or analyzing quantum supremacy claims. Triggers: verifiable quantum advantage, quantum supremacy, quantum benchmarking, quantum verification, quantum echoes algorithm.Votes: 0GitHub stars: 3
- Variance Brain Foundation Models ForgotBrain foundation models (BFMs) lose third-order statistics (co-skewness) during pretraining - variance allocation problem where billion-parameter models predict cognition worse than linear FC. Solution: preserve co-skewness subspace. Activation: brain foundation model, variance allocation, co-skewness, third-order statistics, BFM pretraining, functional connectivity, cognitive prediction.Votes: 0GitHub stars: 3
- Sysml Driven Uav Design FrameworkSysML-driven MBSE framework for autonomous UAV design.Votes: 0GitHub stars: 3
- Stuart Landau Oscillator Reduction TheoryExact low-dimensional reduction theory for populations of Stuart–Landau oscillators, reducing N-oscillator systems to 3D or 7D systems while preserving amplitude-dependent collective dynamics like clustering and chaos.Votes: 0GitHub stars: 3
- Stationary Covariance Spectra Non NormalFree-probability framework for deriving closed functional equations of stationary covariance spectra in discrete-time non-normal random recurrent dynamics, enabling analysis of tail eigenvalues in critical regime.Votes: 0GitHub stars: 3
- Stark Units Sic OverlapsNumber-theoretic characterization of SIC-POVM overlap units via Stark units from ray class fields. Bridges algebraic number theory (Stark units, ray class fields, Shintani-Faddeev cocycle) with quantum information (SIC-POVM geometry, mutual scalar products). Activation: SIC-POVM overlaps, Stark units, ray class fields, Shintani-Faddeev cocycle, algebraic number theory quantum, SIC geometryVotes: 0GitHub stars: 3
- Specula Formal Specifications Model CheckingAutonomous agentic system for generating formal specifications and model checking of system code using LLM-based coding agents.Votes: 0GitHub stars: 3
- Spectral Theory Neuronal Population DynamicsSpectral theory framework for analyzing population density dynamics of spiking neurons with finite refractory time. Provides rigorous operator-theoretic methods for studying neuronal population stability, oscillatory modes, and transfer functions. Use when analyzing computational neuroscience models involving refractory periods, population dynamics, or spectral decomposition of neural systems.Votes: 0GitHub stars: 3
- Spectral Anatomy Quantum KernelsSpectral entropy diagnostic S(K)/log n for quantum Gaussian process kernels. Unified framework showing dequantization and posterior pathologies governed by same quantity. Proves Cauchy-Schwarz tail bound on Nystrom error, variance-contraction identity, target-dependent optimal entropy. Verified on IBM Heron hardware. Activation: quantum Gaussian process, spectral entropy, quantum kernel diagnostic, Nystrom approximation, kernel Gram matrix, quantum dequantization, Bach degrees of freedomVotes: 0GitHub stars: 3
- Sos Distributed TasksDecidability theory for Set of Output Sets (SOS) tasks in asynchronous distributed systems with crash failures. Use when analyzing distributed task solvability, understanding crash tolerance, or designing consensus/set agreement protocols. Keywords: distributed tasks, decidability, crash failures, consensus, set agreement, asynchronous, SOS tasks.Votes: 0GitHub stars: 3
- Skill Drift Contract ViolationProactive maintenance for LLM agent skill libraries by treating skill drift as contract violation. Extracts executable environment contracts from skill documents and validates only role-bearing assumptions against live conditions. Use when: maintaining agent skill libraries, detecting API/dependency changes in reusable skills, reducing false-positive drift monitoring, building CI/CD for agent skill health, or repairing broken skills through contract-based localization. Keywords: skill drift, ...Votes: 0GitHub stars: 3
- Scalable Open Source Qec SystemOpen-source QEC system architecture using RISC-V-based quantum control with sub-microsecond decoding-feedback latency. FPGA-implemented distributed multi-board architecture for superconducting qubits.Votes: 0GitHub stars: 3
- Robustness Verification Of Deep Neural Networks Using Starbased Reachability Analysis With Variablelength Time Series Input**arXiv ID:** 2307.13907 **Authors:** Neelanjana Pal, Diego Manzanas Lopez, Taylor T Johnson **Published:** 2023-07-26T02:15:11Z **Abstract:** Data-driven, neural network (NN) based anomaly detection and predictive maintenance are emerging research areas. NN-based analytics of time-series data offer valuable insights into past behaviors and estimates of critical parameters like remaining useful life (RUL) of equipment and state-of-charge (SOC) of batteries. However, input time series data can...Votes: 0GitHub stars: 3
- Reconstructing Backpropagation Noise Modulated NetworksUse when designing biologically plausible neural networks that need to implement backpropagation without weight transport. Provides a method to reconstruct gradients from forward-pass statistics using noise as a computational resource.Votes: 0GitHub stars: 3
- Qudit Encoding Quantum OptimizationQudit encoding methodology for variational quantum optimization of integer and multi-valued problems. Demonstrates exponential Hilbert space reduction vs binary qubit encoding while maintaining or improving optimization performance. Covers qudit-native QAOA, integer optimization, scheduling problems, and resource-efficient quantum encodings. Activation: qudit encoding, quantum integer optimization, qudit QAOA, multi-valued quantum, Hilbert space reduction, fleet management optimization, vehic...Votes: 0GitHub stars: 3
- Quantum Young Measure HomogenizationQuantum algorithm methodology for nonlinear and stochastic homogenization using Young-measure based linear programming formulation with provable quantum speedup.Votes: 0GitHub stars: 3
- Quantum Software EngineeringResearch software engineering (RSE) methodology for quantum and scientific computing codes. Covers continuous integration, automated testing, compiler warning correction, continuous benchmarking, and detection of critical defects in scientific software. Applicable to Fortran, C/C++, and any high-performance scientific computing project.Votes: 0GitHub stars: 3
- Quantum Software ArchitectureComponent-based Quantum Software Architecture Framework (QSAF) for designing hybrid quantum-classical systems. Provides 34 reusable quantum circuit patterns, architectural guidelines, and systematic transition from circuit-level to system-level design.Votes: 0GitHub stars: 3
- Quantum Side Channel LeakageQuantum-based side-channel leakage verification methodology. Uses quantum algorithms for verifying side-channel countermeasures against leakage attacks. Applicable to cryptographic hardware security, side-channel analysis, and countermeasure validation.Votes: 0GitHub stars: 3
- Quantum Ring Allreduce Distributed LearningQuantum ring all-reduce methodology for distributed machine learning training — 2x bandwidth reduction via superdense coding with information-theoretic privacy guarantees. Achieves ε-secure aggregation through verified GHZ entanglement. Provides exponential separation in communication complexity for gradient conflict detection (Ω(√P) bits vs O(ε⁻² log P) qubits).Votes: 0GitHub stars: 3
- Quantum Qubit RoutingQubit mapping and routing methodology for quantum compilation. Uses position graph abstraction and memoized heuristic evaluation to scale SABRE-based routing on TI-QCCD and other heterogeneous quantum architectures. Covers position graph abstraction, relative move scoring, memoized congestion resolution, and architecture-aware compilation. Use when: designing quantum compilers, implementing qubit routing/mapping, optimizing TI-QCCD shuttling, scaling SABRE algorithms, or building architecture...Votes: 0GitHub stars: 3
- Quantum Protocol DesignerDesign and analyze quantum information processing protocols. Focus on quantum encoding schemes (polarization, time-bin), QKD security verification, topology-hiding protocols, and quantum state engineering. Activates when user asks about quantum protocol design, quantum network security, QKD protocols, or quantum encoding conversion.Votes: 0GitHub stars: 3
- Quantum Pipeline IntegrityContract-based supervision framework for quantum-classical pipeline integrity verification. Uses behavioral fingerprinting to detect pipeline degradation, component substitution, and silent failures in hybrid quantum-classical ML systems. Activation: quantum pipeline integrity, contract-based supervision, quantum ML verification, behavioral fingerprinting, pipeline monitoringVotes: 0GitHub stars: 3