About
The ZX-calculus skill empowers Claude to perform advanced quantum circuit simplification and verification using the diagrammatic language developed by Coecke and Duncan. By representing qubits as wires and quantum operations as spiders (Z and X nodes), it enables automated circuit optimization—such as T-count reduction—equivalence checking, and cross-platform compilation. This skill bridges the gap between high-level topological reasoning and practical implementation, integrating with industry-standard libraries like DisCoPy and PyZX for researchers and developers working on the next generation of quantum software.
