[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"skill:01M6P8BW06Q12Z749SY3MB0KWC":3,"skill-same:01M6P8BW06Q12Z749SY3MB0KWC":70},{"skillNo":4,"name":5,"nameZh":6,"description":7,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":6,"repositoryNo":12,"starsCount":13,"licenseSpdxId":14,"licenseFileUrl":6,"sourceHtmlUrl":15,"categories":16,"keywords":17,"publishedAt":36,"linkOnly":37,"markdownContent":38,"markdownBody":39,"frontMatter":40,"refName":29,"commitSha":45,"skillDirectory":46,"forksCount":13,"repositoryHtmlUrl":47,"repositoryHomepageUrl":6,"ownerHtmlUrl":48,"ownerBlogUrl":6,"ownerDescription":6,"updatedAt":49,"install":50,"resources":63},"01M6P8BW06Q12Z749SY3MB0KWC","logic-diff",null,"Compare two code versions for semantic equivalence via semi-formal tracing of both versions side-by-side.","duc-duy-1612\u002FOnline-Delivery-Systems-Web","duc-duy-1612","https:\u002F\u002Favatars.githubusercontent.com\u002Fu\u002F192231384?v=4","01M6NSDKQQDKVTHZ8DZMZ1VYY6","01M6NSDKW8DDVTQHBT1HBDDJPT",0,"MIT","https:\u002F\u002Fgithub.com\u002Fduc-duy-1612\u002FOnline-Delivery-Systems-Web\u002Fblob\u002Fmain\u002F.agents\u002Fskills_archive\u002Flogic-diff\u002FSKILL.md",[],[18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35],"logic diff","diff","logic","wed","for","tree","lens","compare","via","semantic","safe","main","community","tracing","https","license","code","github","2026-11-10 10:12:30",false,"---\nname: logic-diff\ndescription: \"Compare two code versions for semantic equivalence via semi-formal tracing of both versions side-by-side.\"\nrisk: safe\nsource: https:\u002F\u002Fgithub.com\u002Fhyhmrright\u002Flogic-lens\u002Ftree\u002Fmain\u002Fskills\u002Flogic-diff\nsource_repo: hyhmrright\u002Flogic-lens\nsource_type: community\ndate_added: 2026-07-01\nlicense: MIT\nlicense_source: https:\u002F\u002Fgithub.com\u002Fhyhmrright\u002Flogic-lens\u002Fblob\u002Fmain\u002FLICENSE\n---\n\n# Logic-Lens — Semantic Diff\n## When to Use\n\nUse this skill when you need compare two code versions for semantic equivalence via semi-formal tracing of both versions side-by-side. Trigger when the user shares a refactor, rewrite, migration, or A\u002FB implementation and wants to confirm behavior is unchanged — \"did I break anything\", \"is this equivalent\", \"are...\n\n\n## Setup\n\nUse lazy loading per `..\u002F_shared\u002Fcommon.md` §13:\n1. Read `..\u002F_shared\u002Fcommon.md` only for language, Iron Law, Verdict header, scope routing, Remedy discipline, config fields, and loading budget.\n2. Read only the relevant step in `logic-diff-guide.md` as you reach it.\n3. Load `..\u002F_shared\u002Flogic-risks.md`, `..\u002F_shared\u002Fsemiformal-guide.md`, `..\u002F_shared\u002Fsemiformal-checklist.md`, and `..\u002F_shared\u002Freport-template.md` on demand when the current step needs them.\n\n## Process\n\n**Step 0. Language + scope routing.** Detect language per `common.md` §1. Confirm two versions are provided. If only one version, switch to logic-review.\n\n**Step 1. Identify the shared specification** (guide Step 1) — what inputs should both versions handle; what outputs\u002Fside effects are expected. If the user states the refactor intentionally changed behavior in a specific area (e.g., \"I changed the error path to raise instead of returning None\"), record that as a **declared spec change** and treat divergences within that area as expected. Flag only divergences outside the declared change as findings.\n\n**Step 2. Build independent premises for each version** (guide Step 2) — apply the Premises Construction Checklist to Version A and Version B separately.\n\n**Step 3. Trace both versions for the common case** (guide Step 3) — parallel trace, same input, note the first divergence if any.\n\n**Step 4. Trace boundary cases** (guide Step 4) — empty\u002Fnull\u002Fzero, max\u002Fmin, error inputs, first\u002Flast of collections. Start with at most three highest-risk boundary scenarios unless the user asks for exhaustive equivalence or the shared specification requires more.\n\n**Step 5. Identify and classify semantic divergences** (guide Step 5) — each divergence is a finding with Premises → Trace → Divergence → Trigger → Remedy and an L-code.\n\n**Step 6. Equivalence verdict** (guide Step 6) — one of: `✅ Semantically Equivalent`, `⚠️ Conditionally Equivalent` (state the condition precisely), `❌ Semantically Divergent`.\n\n**Step 7. Output** (guide Step 7) — Report Template with the Verdict header per `common.md` §5; localize headers if the user wrote in Chinese. **Format is mandatory even for trivially short snippets: every divergence finding MUST use the five labeled fields (Premises \u002F Trace \u002F Divergence \u002F Trigger \u002F Remedy); never substitute with a plain paragraph or table.**\n\n**Mode line in report:** `Semantic Diff` (Chinese: `语义对比`).\n\n## Limitations\n\n- Use this skill only when the task clearly matches its upstream source and local project context.\n- Verify commands, generated code, dependencies, credentials, and external service behavior before applying changes.\n- Do not treat examples as a substitute for environment-specific tests, security review, or user approval for destructive or costly actions.\n","# Logic-Lens — Semantic Diff\n## When to Use\n\nUse this skill when you need compare two code versions for semantic equivalence via semi-formal tracing of both versions side-by-side. Trigger when the user shares a refactor, rewrite, migration, or A\u002FB implementation and wants to confirm behavior is unchanged — \"did I break anything\", \"is this equivalent\", \"are...\n\n\n## Setup\n\nUse lazy loading per `..\u002F_shared\u002Fcommon.md` §13:\n1. Read `..\u002F_shared\u002Fcommon.md` only for language, Iron Law, Verdict header, scope routing, Remedy discipline, config fields, and loading budget.\n2. Read only the relevant step in `logic-diff-guide.md` as you reach it.\n3. Load `..\u002F_shared\u002Flogic-risks.md`, `..\u002F_shared\u002Fsemiformal-guide.md`, `..\u002F_shared\u002Fsemiformal-checklist.md`, and `..\u002F_shared\u002Freport-template.md` on demand when the current step needs them.\n\n## Process\n\n**Step 0. Language + scope routing.** Detect language per `common.md` §1. Confirm two versions are provided. If only one version, switch to logic-review.\n\n**Step 1. Identify the shared specification** (guide Step 1) — what inputs should both versions handle; what outputs\u002Fside effects are expected. If the user states the refactor intentionally changed behavior in a specific area (e.g., \"I changed the error path to raise instead of returning None\"), record that as a **declared spec change** and treat divergences within that area as expected. Flag only divergences outside the declared change as findings.\n\n**Step 2. Build independent premises for each version** (guide Step 2) — apply the Premises Construction Checklist to Version A and Version B separately.\n\n**Step 3. Trace both versions for the common case** (guide Step 3) — parallel trace, same input, note the first divergence if any.\n\n**Step 4. Trace boundary cases** (guide Step 4) — empty\u002Fnull\u002Fzero, max\u002Fmin, error inputs, first\u002Flast of collections. Start with at most three highest-risk boundary scenarios unless the user asks for exhaustive equivalence or the shared specification requires more.\n\n**Step 5. Identify and classify semantic divergences** (guide Step 5) — each divergence is a finding with Premises → Trace → Divergence → Trigger → Remedy and an L-code.\n\n**Step 6. Equivalence verdict** (guide Step 6) — one of: `✅ Semantically Equivalent`, `⚠️ Conditionally Equivalent` (state the condition precisely), `❌ Semantically Divergent`.\n\n**Step 7. Output** (guide Step 7) — Report Template with the Verdict header per `common.md` §5; localize headers if the user wrote in Chinese. **Format is mandatory even for trivially short snippets: every divergence finding MUST use the five labeled fields (Premises \u002F Trace \u002F Divergence \u002F Trigger \u002F Remedy); never substitute with a plain paragraph or table.**\n\n**Mode line in report:** `Semantic Diff` (Chinese: `语义对比`).\n\n## Limitations\n\n- Use this skill only when the task clearly matches its upstream source and local project context.\n- Verify commands, generated code, dependencies, credentials, and external service behavior before applying changes.\n- Do not treat examples as a substitute for environment-specific tests, security review, or user approval for destructive or costly actions.\n",{"name":5,"risk":28,"source":41,"license":14,"date_added":42,"description":7,"source_repo":43,"source_type":30,"license_source":44},"https:\u002F\u002Fgithub.com\u002Fhyhmrright\u002Flogic-lens\u002Ftree\u002Fmain\u002Fskills\u002Flogic-diff",1782864000000,"hyhmrright\u002Flogic-lens","https:\u002F\u002Fgithub.com\u002Fhyhmrright\u002Flogic-lens\u002Fblob\u002Fmain\u002FLICENSE","f3312ba749561b6159f477dbfc9313c875d40a56",".agents\u002Fskills_archive\u002Flogic-diff","https:\u002F\u002Fgithub.com\u002Fduc-duy-1612\u002FOnline-Delivery-Systems-Web","https:\u002F\u002Fgithub.com\u002Fduc-duy-1612","2026-10-25 23:50:58",{"source":8,"skillName":5,"commands":51,"prompt":61,"zipAvailable":62},[52,55,58],{"tool":53,"command":54},"npx","npx skills add duc-duy-1612\u002FOnline-Delivery-Systems-Web --skill logic-diff",{"tool":56,"command":57},"bunx","bunx skills add duc-duy-1612\u002FOnline-Delivery-Systems-Web --skill logic-diff",{"tool":59,"command":60},"pnpm","pnpm dlx skills add duc-duy-1612\u002FOnline-Delivery-Systems-Web --skill logic-diff","安装技能，技能地址：https:\u002F\u002Fgithub.com\u002Fduc-duy-1612\u002FOnline-Delivery-Systems-Web\u002Fblob\u002Fmain\u002F.agents\u002Fskills_archive\u002Flogic-diff\u002FSKILL.md",true,[64],{"path":65,"resourceType":66,"resourceTypeDesc":67,"sizeBytes":68,"sourceHtmlUrl":69},"logic-diff-guide.md","REFERENCE","参考文档",3495,"https:\u002F\u002Fgithub.com\u002Fduc-duy-1612\u002FOnline-Delivery-Systems-Web\u002Fblob\u002Fmain\u002F.agents\u002Fskills_archive\u002Flogic-diff\u002Flogic-diff-guide.md",[71,100,124,145,173,196],{"skillNo":72,"name":73,"nameZh":6,"description":74,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":6,"repositoryNo":12,"starsCount":13,"licenseSpdxId":14,"licenseFileUrl":6,"sourceHtmlUrl":75,"categories":76,"keywords":82,"publishedAt":36},"01M6Q0FA5FZ410Z33Z3TFQ4DBA","zero-trust","Implement zero-trust network architecture. Configure identity-based access, micro-segmentation, and continuous verification. Use when implementing modern security architectures.","https:\u002F\u002Fgithub.com\u002Fduc-duy-1612\u002FOnline-Delivery-Systems-Web\u002Fblob\u002Fmain\u002F.agents\u002Fskills_archive\u002Fzero-trust\u002FSKILL.md",[77],{"categoryNo":78,"categoryName":79,"taxonomyType":80,"taxonomyTypeDesc":81},"01JBSEEDCAT000000000000011","运维与部署","SCENARIO","使用场景",[83,84,85,86,87,88,73,89,90,91,92,93,30,29,94,95,96,97,98,99],"ZeRO","trust","zero trust","architecture","assessment","verification","segmentation","devops-security","access","configure","only","active","critical","scope","scripts","relevant","implementing",{"skillNo":101,"name":102,"nameZh":6,"description":103,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":6,"repositoryNo":12,"starsCount":13,"licenseSpdxId":14,"licenseFileUrl":6,"sourceHtmlUrl":104,"categories":105,"keywords":106,"publishedAt":36},"01M6Q0F1YZJW3KX5FBKEVZ8CV4","zcode-delegate","Delegate coding tasks to the Z.AI ZCode CLI only when the user explicitly requests it, while the orchestrator retains review and landing responsibility.","https:\u002F\u002Fgithub.com\u002Fduc-duy-1612\u002FOnline-Delivery-Systems-Web\u002Fblob\u002Fmain\u002F.agents\u002Fskills_archive\u002Fzcode-delegate\u002FSKILL.md",[],[107,108,109,110,111,112,113,114,115,116,117,118,119,93,120,30,121,122,95,123],"delegate","zcode","zcode delegate","review","cli","orchestration","tasks","run","Bash","model","node","read","orchestrator","files","desktop app","app","agent-orchestration",{"skillNo":125,"name":126,"nameZh":6,"description":127,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":6,"repositoryNo":12,"starsCount":13,"licenseSpdxId":14,"licenseFileUrl":6,"sourceHtmlUrl":128,"categories":129,"keywords":130,"publishedAt":36},"01M6Q0ETK41VGNMYEXW0T00AJN","youtube-transcript","Fetch YouTube transcripts through DeepAPI or local fallback tooling and save clean text output.","https:\u002F\u002Fgithub.com\u002Fduc-duy-1612\u002FOnline-Delivery-Systems-Web\u002Fblob\u002Fmain\u002F.agents\u002Fskills_archive\u002Fyoutube-transcript\u002FSKILL.md",[],[131,132,133,28,35,134,135,33,32,136,137,138,139,30,29,140,141,142,143,144],"transcript","youtube transcript","youtube","codex","research","text","fetch","tooling","clean","local","output","deepapi","youtube transcripts","blob",{"skillNo":146,"name":147,"nameZh":6,"description":148,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":6,"repositoryNo":12,"starsCount":13,"licenseSpdxId":14,"licenseFileUrl":6,"sourceHtmlUrl":149,"categories":150,"keywords":162,"publishedAt":36},"01M6Q0EPPH2PVMDW40017F8WX0","youtube-transcript-skills","Fetch YouTube video transcripts, search videos\u002Fchannels, browse channels, and extract playlists via the getyoutubetranscript.com API - free tier, no card required.","https:\u002F\u002Fgithub.com\u002Fduc-duy-1612\u002FOnline-Delivery-Systems-Web\u002Fblob\u002Fmain\u002F.agents\u002Fskills_archive\u002Fyoutube-transcript-skills\u002FSKILL.md",[151,154,157],{"categoryNo":152,"categoryName":153,"taxonomyType":80,"taxonomyTypeDesc":81},"01JBSEEDCAT000000000000010","后端与接口",{"categoryNo":155,"categoryName":156,"taxonomyType":80,"taxonomyTypeDesc":81},"01JBSEEDCAT000000000000016","图像与多媒体",{"categoryNo":158,"categoryName":159,"taxonomyType":160,"taxonomyTypeDesc":161},"01JBSEEDCAT000000000000030","开发工程师","PROFESSION","适用职业",[131,132,133,163,28,164,35,134,33,165,166,167,168,137,169,30,29,170,171,172],"youtube transcript skills","gemini","search","api","Video","browse","api-integration","free","card","channels",{"skillNo":174,"name":175,"nameZh":6,"description":176,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":6,"repositoryNo":12,"starsCount":13,"licenseSpdxId":14,"licenseFileUrl":6,"sourceHtmlUrl":177,"categories":178,"keywords":183,"publishedAt":36},"01M6Q0EAB96PX83W5PTE8A0R8D","youtube-notetaker","Turn YouTube talks into local study notes with slides, transcripts, editable annotations, and a markdown-backed viewer.","https:\u002F\u002Fgithub.com\u002Fduc-duy-1612\u002FOnline-Delivery-Systems-Web\u002Fblob\u002Fmain\u002F.agents\u002Fskills_archive\u002Fyoutube-notetaker\u002FSKILL.md",[179,182],{"categoryNo":180,"categoryName":181,"taxonomyType":80,"taxonomyTypeDesc":81},"01JBSEEDCAT000000000000003","演示文稿",{"categoryNo":155,"categoryName":156,"taxonomyType":80,"taxonomyTypeDesc":81},[133,184,185,111,28,186,187,188,34,33,167,189,190,191,192,29,193,140,194,195],"youtube notetaker","notetaker","workflow","official","notes","markdown","slides","annotations","README","study","dair-academy","viewer",{"skillNo":197,"name":198,"nameZh":6,"description":199,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":6,"repositoryNo":12,"starsCount":13,"licenseSpdxId":14,"licenseFileUrl":6,"sourceHtmlUrl":200,"categories":201,"keywords":203,"publishedAt":36},"01M6Q0E55F0GW5MX48V8HXS8B5","youtube-full","Fetch YouTube transcripts, search videos, browse channels, and extract playlists via TranscriptAPI — no yt-dlp, no Google API key, works from any cloud server.","https:\u002F\u002Fgithub.com\u002Fduc-duy-1612\u002FOnline-Delivery-Systems-Web\u002Fblob\u002Fmain\u002F.agents\u002Fskills_archive\u002Fyoutube-full\u002FSKILL.md",[202],{"categoryNo":152,"categoryName":153,"taxonomyType":80,"taxonomyTypeDesc":81},[204,133,205,206,28,164,165,207,208,166,167,168,137,209,169,30,29,170,210,143],"youtube full","full","google","server","dlp","credits","automatic"]