QEC-Autoresearch-Skills

Provides guidance for choosing among QEC decoder backends such as ldpc, PyMatching, fusion-blossom, Chromobius, MWPF, tesseract-decoder, and MQT QECC based on artifact shape, code family, noise model, and validation goals.

Guides exact-MWPM graphlike decoding with fusion-blossom, including erasure-aware matching updates, while keeping clear boundaries with PyMatching and non-graphlike decoder lanes.

Provides guidance for decoding graphlike Stim detector models and sampled trajectories with PyMatching, using the repo's registry-backed decoder service and explicit graphlike-DEM constraints.

Guides search-based decoder planning with tesseract-decoder for small or medium QEC studies, keeping its baseline value separate from scalable matching or hypergraph lanes.

Guides use of MQT QECC for toolkit-native code, decoder, color-code, and state-preparation workflows while keeping clear boundaries with Stim-native and qLDPC-native lanes.

Guides reproduction of folded-H surface-code cultivation workflows from the MSC_foldedH repo, including sample-circuit inspection, handoff runs, and boundaries around the currently supported stabilizer-based escape path.

Guides staged reproduction of magic-state-cultivation workflows from Strilanc's reference repo, including circuit generation, long-run statistics collection, and plot regeneration without collapsing those stages together.

Guides color-code and related surgery-protocol simulation using local surgery implementations, with explicit matrix, circuit, detector-model, and decoder validation stages.

Guides erasure-aware Stim simulation using the local Erasure_qubit-1 repo, with explicit separation between latent-erasure sampling, approximate decoding circuits, posterior or multi-check processing, and small local smoke runs.

Provides guidance for constructing, validating, and exporting stabilizer QEC circuits with Stim when studying memory experiments, syndrome extraction, or detector-model workflows.

Provides guidance for decoding Stim-derived detector models and sampled trajectories with ldpc-based baseline decoders, starting with a narrow BPOSD lane and explicit compatibility checks.

Guides product-type QLDPC circuit construction with QUITS, including code-family selection, circuit-strategy selection, and bring-your-own parity-check workflows for HGP, LP, BPC, BB, and related codes.

High-level orchestration skill for QEC research workflows. Initializes and updates project state, keeps a durable research log, routes work to future domain skills and MCP backends, and enforces explicit validation and provenance.

Provides guidance for positioning QEC manuscripts for Physical Review venues and Quantum, with explicit venue-fit reasoning and conservative treatment of submission-policy details.

Provides guidance for structuring, evidence-checking, and drafting QEC manuscripts so that benchmark, formalization, and systems claims stay aligned with explicit artifacts and reproducible workflows.

Guides construction, inspection, and experiment planning for quantum LDPC codes using the qLDPC package, while keeping a clear boundary between code-design analysis and later executable circuit or decoder workflows.

Guides translation of QEC claims into Lean workflows with explicit theorem obligations, build checks, and honest boundaries between formalized results and still-informal reasoning.