{"apiVersion":"1.0","data":{"id":"mcy","name":"MCY","owner":"YosysHQ","source":"https://github.com/YosysHQ/mcy","licenseSource":"https://github.com/YosysHQ/mcy/blob/main/COPYING","license":"ISC","description":"A Yosys-based tool for creating mutations from a self-checking testbench to help assess testbench coverage.","domains":["Digital"],"kind":"Tool","tasks":["Verification"],"language":"Python","target":"Mutation coverage for digital testbenches","toolchain":"Yosys","tags":["Coverage","Mutation","Yosys","Formal"],"discoverySources":["https://github.com/YosysHQ/mcy","https://github.com/YosysHQ/oss-cad-suite-build"],"evidence":{"readmeUrl":"https://raw.githubusercontent.com/YosysHQ/mcy/main/README.md","licenseUrl":"https://raw.githubusercontent.com/YosysHQ/mcy/main/COPYING","licenseSha256":"a3f63265b7068c3f354338572c2d858ddd2068a2edc37e2f0d91361112eaa6ec","checkedAt":"2026-09-26T00:00:00Z","notes":"Fetched upstream README and license body; not run."},"type":"Open EDA","stage":"VERIFY","sourceLabel":"github.com/YosysHQ/mcy","status":"External index","activitySource":"https://raw.githubusercontent.com/YosysHQ/mcy/main/README.md","activity":"See upstream documentation for releases and maintenance status.","cataloged":"Metadata checked 2026-09-26","licenseScope":"Fetched upstream README and license body; not run.","accent":"blue","glyph":"MC","passport":null,"links":{"self":"/api/v1/resources/mcy","html":"/repo/mcy","evidence":"/api/v1/resources/mcy/evidence","runs":"/api/v1/resources/mcy/runs"}},"attribution":{"catalog":"https://hub.vlsi.kr","methodology":"https://hub.vlsi.kr/methodology","note":"Source documentation, license evidence, Hub reproduction and silicon reports are separate claims."}}