[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"skills:stats":3,"skills:pro6":8,"skills:sce6":55,"skills:creators9":100,"skills:all:stars:10677:":195},{"skillCount":4,"professionCount":5,"scenarioCount":6,"creatorCount":7},192262,11,7,1890,[9,20,27,34,41,48],{"categoryNo":10,"taxonomyType":11,"taxonomyTypeDesc":12,"categoryName":13,"categoryNameEn":14,"description":15,"level":16,"skillCount":17,"parentNo":18,"parentName":18,"children":19},"01JBSEEDCAT000000000000030","PROFESSION","适用职业","开发工程师","Software Engineer","从事软件编码、测试与运维的工程师",1,13277,null,[],{"categoryNo":21,"taxonomyType":11,"taxonomyTypeDesc":12,"categoryName":22,"categoryNameEn":23,"description":24,"level":16,"skillCount":25,"parentNo":18,"parentName":18,"children":26},"01JBSEEDCAT000000000000032","设计师","Designer","视觉、交互与品牌设计人员",7778,[],{"categoryNo":28,"taxonomyType":11,"taxonomyTypeDesc":12,"categoryName":29,"categoryNameEn":30,"description":31,"level":16,"skillCount":32,"parentNo":18,"parentName":18,"children":33},"01JBSEEDCAT000000000000033","数据分析师","Data Analyst","数据分析、报表与商业智能人员",4989,[],{"categoryNo":35,"taxonomyType":11,"taxonomyTypeDesc":12,"categoryName":36,"categoryNameEn":37,"description":38,"level":16,"skillCount":39,"parentNo":18,"parentName":18,"children":40},"01JBSEEDCAT000000000000036","内容创作者","Content Creator","作者、编辑与自媒体创作者",3941,[],{"categoryNo":42,"taxonomyType":11,"taxonomyTypeDesc":12,"categoryName":43,"categoryNameEn":44,"description":45,"level":16,"skillCount":46,"parentNo":18,"parentName":18,"children":47},"01JBSEEDCAT000000000000035","市场营销","Marketer","市场推广、增长与品牌运营人员",3449,[],{"categoryNo":49,"taxonomyType":11,"taxonomyTypeDesc":12,"categoryName":50,"categoryNameEn":51,"description":52,"level":16,"skillCount":53,"parentNo":18,"parentName":18,"children":54},"01JBSEEDCAT000000000000037","律师与法务","Legal","合同、合规与法律事务人员",3317,[],[56,65,72,79,86,93],{"categoryNo":57,"taxonomyType":58,"taxonomyTypeDesc":59,"categoryName":60,"categoryNameEn":61,"description":62,"level":16,"skillCount":63,"parentNo":18,"parentName":18,"children":64},"01JBSEEDCAT000000000000022","SCENARIO","使用场景","智能体与自动化","Agents & Automation","Skill、MCP、智能体与工作流自动化",39464,[],{"categoryNo":66,"taxonomyType":58,"taxonomyTypeDesc":59,"categoryName":67,"categoryNameEn":68,"description":69,"level":16,"skillCount":70,"parentNo":18,"parentName":18,"children":71},"01JBSEEDCAT000000000000006","软件开发","Software Development","编码、测试、部署等软件研发任务",26546,[],{"categoryNo":73,"taxonomyType":58,"taxonomyTypeDesc":59,"categoryName":74,"categoryNameEn":75,"description":76,"level":16,"skillCount":77,"parentNo":18,"parentName":18,"children":78},"01JBSEEDCAT000000000000014","设计创意","Design & Creative","视觉设计、品牌与多媒体创作",13574,[],{"categoryNo":80,"taxonomyType":58,"taxonomyTypeDesc":59,"categoryName":81,"categoryNameEn":82,"description":83,"level":16,"skillCount":84,"parentNo":18,"parentName":18,"children":85},"01JBSEEDCAT000000000000001","办公效率","Office Productivity","日常办公文档、表格、演示与沟通类任务",6292,[],{"categoryNo":87,"taxonomyType":58,"taxonomyTypeDesc":59,"categoryName":88,"categoryNameEn":89,"description":90,"level":16,"skillCount":91,"parentNo":18,"parentName":18,"children":92},"01JBSEEDCAT000000000000017","内容创作","Content Creation","写作、文案与营销内容生产",6034,[],{"categoryNo":94,"taxonomyType":58,"taxonomyTypeDesc":59,"categoryName":95,"categoryNameEn":96,"description":97,"level":16,"skillCount":98,"parentNo":18,"parentName":18,"children":99},"01JBSEEDCAT000000000000020","研究与学习","Research & Learning","资料检索、知识整理与学习辅导",5533,[],{"records":101,"total":7,"current":16,"size":194},[102,114,123,133,143,153,163,172,182],{"accountNo":103,"login":104,"displayName":105,"avatarUrl":106,"accountType":107,"accountTypeDesc":108,"profileDescription":109,"skillCount":110,"repoCount":111,"professionCount":5,"scenarioCount":6,"totalStars":112,"updatedAt":113},"01M698VYDXZ6JW5WH3CRV650R8","microsoft","Microsoft","https:\u002F\u002Favatars.githubusercontent.com\u002Fu\u002F6154722?v=4","ORGANIZATION","组织","Open source projects and samples from Microsoft",4166,229,827679,"2026-11-11 10:41:13",{"accountNo":115,"login":116,"displayName":116,"avatarUrl":117,"accountType":107,"accountTypeDesc":108,"profileDescription":118,"skillCount":119,"repoCount":120,"professionCount":6,"scenarioCount":6,"totalStars":121,"updatedAt":122},"01M698P3FSAZ6B4R928ZF19KPT","openclaw","https:\u002F\u002Favatars.githubusercontent.com\u002Fu\u002F252820863?v=4","Your personal, open source AI assistant.",362,32,437560,"2026-11-11 08:48:08",{"accountNo":124,"login":125,"displayName":126,"avatarUrl":127,"accountType":107,"accountTypeDesc":108,"profileDescription":18,"skillCount":128,"repoCount":129,"professionCount":6,"scenarioCount":130,"totalStars":131,"updatedAt":132},"01M6AC29YGCR4S2NTJFV0G8B81","openai","OpenAI","https:\u002F\u002Favatars.githubusercontent.com\u002Fu\u002F14957082?v=4",171,23,6,341309,"2026-11-11 09:55:46",{"accountNo":134,"login":135,"displayName":136,"avatarUrl":137,"accountType":107,"accountTypeDesc":108,"profileDescription":18,"skillCount":138,"repoCount":139,"professionCount":140,"scenarioCount":6,"totalStars":141,"updatedAt":142},"01M6AC83E6K4FDKK7HZ8WNMQKE","apache","The Apache Software Foundation","https:\u002F\u002Favatars.githubusercontent.com\u002Fu\u002F47359?v=4",413,74,8,298026,"2026-11-11 12:04:37",{"accountNo":144,"login":145,"displayName":146,"avatarUrl":147,"accountType":107,"accountTypeDesc":108,"profileDescription":148,"skillCount":149,"repoCount":150,"professionCount":5,"scenarioCount":6,"totalStars":151,"updatedAt":152},"01M698VYEFDM0VJBZDYYJ2T83S","google","Google","https:\u002F\u002Favatars.githubusercontent.com\u002Fu\u002F1342004?v=4","Google ❤️ Open Source",535,48,241090,"2026-11-11 10:04:45",{"accountNo":154,"login":155,"displayName":156,"avatarUrl":157,"accountType":107,"accountTypeDesc":108,"profileDescription":158,"skillCount":159,"repoCount":160,"professionCount":5,"scenarioCount":6,"totalStars":161,"updatedAt":162},"01M6AC83DS133TPXFSP1DHNCC6","github","GitHub","https:\u002F\u002Favatars.githubusercontent.com\u002Fu\u002F9919?v=4","How people build software.",936,27,237963,"2026-11-11 11:59:04",{"accountNo":164,"login":165,"displayName":166,"avatarUrl":167,"accountType":107,"accountTypeDesc":108,"profileDescription":18,"skillCount":168,"repoCount":169,"professionCount":5,"scenarioCount":6,"totalStars":170,"updatedAt":171},"01M697XGDPXJAVQ8391V2BCYTE","anthropics","Anthropic","https:\u002F\u002Favatars.githubusercontent.com\u002Fu\u002F76263028?v=4",674,17,230964,"2026-11-11 11:16:59",{"accountNo":173,"login":174,"displayName":175,"avatarUrl":176,"accountType":107,"accountTypeDesc":108,"profileDescription":18,"skillCount":177,"repoCount":178,"professionCount":179,"scenarioCount":6,"totalStars":180,"updatedAt":181},"01M6AC83EPDGBFN19MWYRREJD0","Significant-Gravitas","AutoGPT","https:\u002F\u002Favatars.githubusercontent.com\u002Fu\u002F130738209?v=4",86,2,10,187989,"2026-11-11 12:08:44",{"accountNo":183,"login":184,"displayName":185,"avatarUrl":186,"accountType":187,"accountTypeDesc":188,"profileDescription":189,"skillCount":190,"repoCount":191,"professionCount":130,"scenarioCount":6,"totalStars":192,"updatedAt":193},"01M6DJCCDDG53MTYYRTXAXFG17","garrytan","Garry Tan","https:\u002F\u002Favatars.githubusercontent.com\u002Fu\u002F19957?v=4","USER","个人作者","Writes software, dreams. ",324,3,174110,"2026-11-11 10:31:36",9,{"records":196,"total":4,"current":552,"size":553},[197,230,251,274,293,316,337,358,380,393,410,427,438,457,481,500,516,535],{"skillNo":198,"name":199,"nameZh":18,"description":200,"descriptionZh":18,"repositoryFullName":201,"ownerLogin":202,"ownerAvatarUrl":203,"ownerAccountNo":204,"ownerDisplayName":205,"repositoryNo":206,"starsCount":207,"licenseSpdxId":208,"licenseFileUrl":18,"sourceHtmlUrl":209,"categories":210,"keywords":211,"publishedAt":229},"01M6BVC9A7NK0V4A3FZ3F2AQ04","principle-foundational-thinking","Apply before writing logic: choosing core types and data structures, sequencing scaffold-vs-feature work, asking what concurrent actors share. Get the data structures right so downstream code becomes obvious.","bnferguson\u002Fdotfiles","bnferguson","https:\u002F\u002Favatars.githubusercontent.com\u002Fu\u002F47749?v=4","01M6BV4H2TJKK8P14W86V1ZCPP","Brandon Ferguson","01M6BV4H7GJWTZJ1BVHQ1TX11Y",0,"MIT","https:\u002F\u002Fgithub.com\u002Fbnferguson\u002Fdotfiles\u002Fblob\u002Fmain\u002Fpstack\u002Fupstream\u002Fskills\u002Fprinciple-foundational-thinking\u002FSKILL.md",[],[212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228],"principle foundational thinking","thinking","writing","scaffold","core","code","share","data","work","get","data structures","logic","feature","sequencing","types","true","apply","2026-11-10 10:12:30",{"skillNo":231,"name":232,"nameZh":18,"description":233,"descriptionZh":18,"repositoryFullName":201,"ownerLogin":202,"ownerAvatarUrl":203,"ownerAccountNo":204,"ownerDisplayName":205,"repositoryNo":206,"starsCount":207,"licenseSpdxId":208,"licenseFileUrl":18,"sourceHtmlUrl":234,"categories":235,"keywords":236,"publishedAt":229},"01M6BVC7NVK46VSJ5NZMY1RWK4","principle-fix-root-causes","Apply when debugging. Trace each symptom back to the first place the system went wrong and fix it there. A guard is a fix only when the state it handles is legitimate.","https:\u002F\u002Fgithub.com\u002Fbnferguson\u002Fdotfiles\u002Fblob\u002Fmain\u002Fpstack\u002Fupstream\u002Fskills\u002Fprinciple-fix-root-causes\u002FSKILL.md",[],[237,238,239,240,241,242,243,244,245,246,247,248,227,249,228,250],"principle fix root causes","fix","root","debugging","state","first","guard","system","trace","only","back","it","Wrong","when",{"skillNo":252,"name":253,"nameZh":18,"description":254,"descriptionZh":18,"repositoryFullName":201,"ownerLogin":202,"ownerAvatarUrl":203,"ownerAccountNo":204,"ownerDisplayName":205,"repositoryNo":206,"starsCount":207,"licenseSpdxId":208,"licenseFileUrl":18,"sourceHtmlUrl":255,"categories":256,"keywords":257,"publishedAt":229},"01M6BVC6CPCSEW04JSTETV6HP8","principle-explain-the-number","Apply before you measure, and before you trust, report, or act on a number you measured: a speedup, a regression, a throughput, a latency, or an eval result. Find what limits it, and rule out that it measured something other than the work you think.","https:\u002F\u002Fgithub.com\u002Fbnferguson\u002Fdotfiles\u002Fblob\u002Fmain\u002Fpstack\u002Fupstream\u002Fskills\u002Fprinciple-explain-the-number\u002FSKILL.md",[],[258,259,260,261,262,220,263,264,265,266,267,268,269,248,270,271,227,228,272,273],"principle explain the number","explain","number","report","regression","find","eval","think","trust","latency","act","rule","throughput","you","result","limits",{"skillNo":275,"name":276,"nameZh":18,"description":277,"descriptionZh":18,"repositoryFullName":201,"ownerLogin":202,"ownerAvatarUrl":203,"ownerAccountNo":204,"ownerDisplayName":205,"repositoryNo":206,"starsCount":207,"licenseSpdxId":208,"licenseFileUrl":18,"sourceHtmlUrl":278,"categories":279,"keywords":280,"publishedAt":229},"01M6BVC4MDJFZ41CM4WWTYVMWE","principle-experience-first","Apply when product, UX, or feature-scope tradeoffs come up. Choose user delight over implementation convenience; ship fewer polished features over more rough ones.","https:\u002F\u002Fgithub.com\u002Fbnferguson\u002Fdotfiles\u002Fblob\u002Fmain\u002Fpstack\u002Fupstream\u002Fskills\u002Fprinciple-experience-first\u002FSKILL.md",[],[242,281,282,283,284,285,286,287,288,289,224,290,291,227,292,228,250],"principle experience first","product","ux","ship","choose","user","up","implementation","delight","scope","more","features",{"skillNo":294,"name":295,"nameZh":18,"description":296,"descriptionZh":18,"repositoryFullName":201,"ownerLogin":202,"ownerAvatarUrl":203,"ownerAccountNo":204,"ownerDisplayName":205,"repositoryNo":206,"starsCount":207,"licenseSpdxId":208,"licenseFileUrl":18,"sourceHtmlUrl":297,"categories":298,"keywords":303,"publishedAt":229},"01M6BVC2X5TX8ERGC5AYMFFBZM","principle-exhaust-the-design-space","Apply when facing a novel UI interaction or architectural decision with no precedent in the codebase. Build 2-3 competing prototypes and compare side by side before committing.","https:\u002F\u002Fgithub.com\u002Fbnferguson\u002Fdotfiles\u002Fblob\u002Fmain\u002Fpstack\u002Fupstream\u002Fskills\u002Fprinciple-exhaust-the-design-space\u002FSKILL.md",[299,302],{"categoryNo":300,"categoryName":301,"taxonomyType":58,"taxonomyTypeDesc":59},"01JBSEEDCAT000000000000015","视觉设计",{"categoryNo":21,"categoryName":22,"taxonomyType":11,"taxonomyTypeDesc":12},[304,305,306,307,308,309,310,311,312,313,314,227,315,228,250],"design","principle exhaust the design space","space","ui","decision","precedent","build","interaction","compare","with","novel","codebase",{"skillNo":317,"name":318,"nameZh":18,"description":319,"descriptionZh":18,"repositoryFullName":201,"ownerLogin":202,"ownerAvatarUrl":203,"ownerAccountNo":204,"ownerDisplayName":205,"repositoryNo":206,"starsCount":207,"licenseSpdxId":208,"licenseFileUrl":18,"sourceHtmlUrl":320,"categories":321,"keywords":322,"publishedAt":229},"01M6BVC1ADA4QV5XW37FHXQTZS","principle-encode-lessons-in-structure","Apply when you catch yourself writing the same instruction a second time, or notice a recurring correction. Encode the rule as a lint, metadata flag, runtime check, or script instead of more text.","https:\u002F\u002Fgithub.com\u002Fbnferguson\u002Fdotfiles\u002Fblob\u002Fmain\u002Fpstack\u002Fupstream\u002Fskills\u002Fprinciple-encode-lessons-in-structure\u002FSKILL.md",[],[323,324,325,214,326,327,328,329,330,331,332,333,269,334,271,291,227,228,335,336,250],"principle encode lessons in structure","structure","lessons","lint","metadata","text","recurring","time","runtime","as","notice","script","catch","second",{"skillNo":338,"name":339,"nameZh":18,"description":340,"descriptionZh":18,"repositoryFullName":201,"ownerLogin":202,"ownerAvatarUrl":203,"ownerAccountNo":204,"ownerDisplayName":205,"repositoryNo":206,"starsCount":207,"licenseSpdxId":208,"licenseFileUrl":18,"sourceHtmlUrl":341,"categories":342,"keywords":343,"publishedAt":229},"01M6BVC00E0Y2DKA1QER50CFW3","principle-build-the-lever","Apply to any non-trivial work, not just bulk work: edits, migrations, analyses, checks. Build the tool that does it or proves it (codemod, script, generator, or a skill your subagents follow) instead of working by hand. The tool is the artifact a reviewer can rerun.","https:\u002F\u002Fgithub.com\u002Fbnferguson\u002Fdotfiles\u002Fblob\u002Fmain\u002Fpstack\u002Fupstream\u002Fskills\u002Fprinciple-build-the-lever\u002FSKILL.md",[],[344,345,310,346,347,348,220,349,350,351,352,248,334,353,354,227,355,356,228,357],"lever","principle build the lever","tool","just","reviewer","subagents","migrations","artifact","bulk","generator","codemod","can","hand","rerun",{"skillNo":359,"name":360,"nameZh":18,"description":361,"descriptionZh":18,"repositoryFullName":201,"ownerLogin":202,"ownerAvatarUrl":203,"ownerAccountNo":204,"ownerDisplayName":205,"repositoryNo":206,"starsCount":207,"licenseSpdxId":208,"licenseFileUrl":18,"sourceHtmlUrl":362,"categories":363,"keywords":364,"publishedAt":229},"01M6BVBXWDD2T6WA1FK8ZHY2M2","principle-boundary-discipline","Apply when wiring validation, error handling, or framework adapters. Concentrate guards at system boundaries (CLI, config, network, external APIs); trust internal types and keep business logic in pure functions.","https:\u002F\u002Fgithub.com\u002Fbnferguson\u002Fdotfiles\u002Fblob\u002Fmain\u002Fpstack\u002Fupstream\u002Fskills\u002Fprinciple-boundary-discipline\u002FSKILL.md",[],[365,366,367,368,369,370,371,372,373,244,374,375,266,223,376,377,378,226,227,379,228,250],"boundary","principle boundary discipline","discipline","cli","config","error handling","validation","framework","network","business","functions","keep","error","Adapters","at",{"skillNo":381,"name":382,"nameZh":18,"description":383,"descriptionZh":18,"repositoryFullName":201,"ownerLogin":202,"ownerAvatarUrl":203,"ownerAccountNo":204,"ownerDisplayName":205,"repositoryNo":206,"starsCount":207,"licenseSpdxId":208,"licenseFileUrl":18,"sourceHtmlUrl":384,"categories":385,"keywords":386,"publishedAt":229},"01M6BVBW6ANGCESKATQJJDPZ3T","principle-attack-the-premise","Apply when two or more fixes that share one premise have failed the same gate. Write the premise down and test it directly before you write another fix that assumes it.","https:\u002F\u002Fgithub.com\u002Fbnferguson\u002Fdotfiles\u002Fblob\u002Fmain\u002Fpstack\u002Fupstream\u002Fskills\u002Fprinciple-attack-the-premise\u002FSKILL.md",[],[387,388,218,389,238,390,248,271,291,227,391,392,228,250],"principle attack the premise","test","write","gate","fixes","down",{"skillNo":394,"name":395,"nameZh":18,"description":396,"descriptionZh":18,"repositoryFullName":201,"ownerLogin":202,"ownerAvatarUrl":203,"ownerAccountNo":204,"ownerDisplayName":205,"repositoryNo":206,"starsCount":207,"licenseSpdxId":208,"licenseFileUrl":18,"sourceHtmlUrl":397,"categories":398,"keywords":399,"publishedAt":229},"01M6BVBQFYCW5FPKCK3BF0VJA8","poteto-mode","poteto's agent style for concise, detailed responses, deliberate subagents, unslopped prose, simple code, and verified work. Use for poteto, \u002Fpoteto-mode, or requests to work in this style.","https:\u002F\u002Fgithub.com\u002Fbnferguson\u002Fdotfiles\u002Fblob\u002Fmain\u002Fpstack\u002Fupstream\u002Fskills\u002Fpoteto-mode\u002FSKILL.md",[],[400,401,217,220,349,402,403,404,405,406,407,227,408,409],"poteto mode","mode","use","simple","prose","style","concise","requests","verified","for",{"skillNo":411,"name":412,"nameZh":18,"description":413,"descriptionZh":18,"repositoryFullName":201,"ownerLogin":202,"ownerAvatarUrl":203,"ownerAccountNo":204,"ownerDisplayName":205,"repositoryNo":206,"starsCount":207,"licenseSpdxId":208,"licenseFileUrl":18,"sourceHtmlUrl":414,"categories":415,"keywords":416,"publishedAt":229},"01M6BVBNE9EQ6GZV7Z6XNXVXPB","poteto-help","Guides users through pstack setup, \u002Fpoteto-mode, and picking the skill, playbook, or principle for a task. Type \u002Fpoteto-help with a question.","https:\u002F\u002Fgithub.com\u002Fbnferguson\u002Fdotfiles\u002Fblob\u002Fmain\u002Fpstack\u002Fupstream\u002Fskills\u002Fpoteto-help\u002FSKILL.md",[],[417,418,419,420,421,422,423,424,425,426,313,227,401,409],"help","poteto help","setup","playbook","question","task","type","pstack","guides","users",{"skillNo":428,"name":429,"nameZh":18,"description":430,"descriptionZh":18,"repositoryFullName":201,"ownerLogin":202,"ownerAvatarUrl":203,"ownerAccountNo":204,"ownerDisplayName":205,"repositoryNo":206,"starsCount":207,"licenseSpdxId":208,"licenseFileUrl":18,"sourceHtmlUrl":431,"categories":432,"keywords":433,"publishedAt":229},"01M6BVBK9RD71QF1MYNF3Q7AWP","no-comments","Spawn Comment Sicko, fix accepted findings, and offer encodings for claimed constraints.","https:\u002F\u002Fgithub.com\u002Fbnferguson\u002Fdotfiles\u002Fblob\u002Fmain\u002Fpstack\u002Fupstream\u002Fskills\u002Fno-comments\u002FSKILL.md",[],[434,435,436,238,437,227,409],"no comments","comments","constraints","spawn",{"skillNo":439,"name":440,"nameZh":18,"description":441,"descriptionZh":18,"repositoryFullName":201,"ownerLogin":202,"ownerAvatarUrl":203,"ownerAccountNo":204,"ownerDisplayName":205,"repositoryNo":206,"starsCount":207,"licenseSpdxId":208,"licenseFileUrl":18,"sourceHtmlUrl":442,"categories":443,"keywords":445,"publishedAt":229},"01M6BVBHGR86BQE9BG6SFWNWV9","make-bot-ui","Use when building a custom UI (page, dashboard, buttons) that should wake a Grok Bot over a webhook, when the user must provide a webhook sender key, or when exposing that UI on Tailscale.","https:\u002F\u002Fgithub.com\u002Fbnferguson\u002Fdotfiles\u002Fblob\u002Fmain\u002Fpstack\u002Fupstream\u002Fskills\u002Fmake-bot-ui\u002FSKILL.md",[444],{"categoryNo":21,"categoryName":22,"taxonomyType":11,"taxonomyTypeDesc":12},[446,307,447,448,449,450,451,286,402,452,453,227,454,455,250,456],"bot","make bot ui","make","dashboard","tailscale","page","grok","webhook","wake","custom","buttons",{"skillNo":458,"name":459,"nameZh":18,"description":460,"descriptionZh":18,"repositoryFullName":201,"ownerLogin":202,"ownerAvatarUrl":203,"ownerAccountNo":204,"ownerDisplayName":205,"repositoryNo":206,"starsCount":207,"licenseSpdxId":208,"licenseFileUrl":18,"sourceHtmlUrl":461,"categories":462,"keywords":466,"publishedAt":229},"01M6BVBEP8J9SEWJ63AX9KBNFY","maintain-verification-skill","Periodic pass that keeps a project's verification skill and feature map honest: parallel source readers per feature, one live session driving every feature, at most one PR of proven corrections. Use for \u002Fmaintain-verification-skill or \"audit the verify skill\".","https:\u002F\u002Fgithub.com\u002Fbnferguson\u002Fdotfiles\u002Fblob\u002Fmain\u002Fpstack\u002Fupstream\u002Fskills\u002Fmaintain-verification-skill\u002FSKILL.md",[463],{"categoryNo":464,"categoryName":465,"taxonomyType":58,"taxonomyTypeDesc":59},"01JBSEEDCAT000000000000023","Skill与智能体开发",[467,468,469,470,471,472,473,474,402,475,476,477,478,224,227,379,409,479,480],"verification","maintain verification skill","maintain","pr","audit","verify","parallel","session","periodic","map","project","live","source","verify skill",{"skillNo":482,"name":483,"nameZh":18,"description":484,"descriptionZh":18,"repositoryFullName":201,"ownerLogin":202,"ownerAvatarUrl":203,"ownerAccountNo":204,"ownerDisplayName":205,"repositoryNo":206,"starsCount":207,"licenseSpdxId":208,"licenseFileUrl":18,"sourceHtmlUrl":485,"categories":486,"keywords":488,"publishedAt":229},"01M6BVBCDNJMGJY01JRBNKT2W7","maintain-formal-verification-skill","Bring a project's formal verification back in line with the code after the code changes: find the commits that touched verified code, update the model, harness, or properties to describe the code as it is now, rerun, and say whether each failure is drift in the verification or a bug in the code. Use for \u002Fmaintain-formal-verification-skill, \"is the model still true to the code\", or after merges and refactors that touched verified code without rechecking it.","https:\u002F\u002Fgithub.com\u002Fbnferguson\u002Fdotfiles\u002Fblob\u002Fmain\u002Fpstack\u002Fupstream\u002Fskills\u002Fmaintain-formal-verification-skill\u002FSKILL.md",[487],{"categoryNo":464,"categoryName":465,"taxonomyType":58,"taxonomyTypeDesc":59},[467,489,490,469,491,217,492,493,494,402,495,247,496,477,332,497,313,498,227,409,499],"maintain formal verification skill","formal verification","update","harness","commits","model","say","drift","now","bring","changes",{"skillNo":501,"name":502,"nameZh":18,"description":503,"descriptionZh":18,"repositoryFullName":201,"ownerLogin":202,"ownerAvatarUrl":203,"ownerAccountNo":204,"ownerDisplayName":205,"repositoryNo":206,"starsCount":207,"licenseSpdxId":208,"licenseFileUrl":18,"sourceHtmlUrl":504,"categories":505,"keywords":506,"publishedAt":229},"01M6BVBB3R86HG3MJ2DA946ZF1","ketchup","Catch the user up on what changed in this chat since their last message, in plain words and small visuals. List every item waiting on them with what they need to decide it from the reply alone. Use for \u002Fketchup.","https:\u002F\u002Fgithub.com\u002Fbnferguson\u002Fdotfiles\u002Fblob\u002Fmain\u002Fpstack\u002Fupstream\u002Fskills\u002Fketchup\u002FSKILL.md",[],[502,507,508,509,286,402,287,510,511,512,248,313,513,227,409,514,335,515],"visuals","decide","list","reply","message","chat","last","waiting on them","plain",{"skillNo":517,"name":518,"nameZh":18,"description":519,"descriptionZh":18,"repositoryFullName":201,"ownerLogin":202,"ownerAvatarUrl":203,"ownerAccountNo":204,"ownerDisplayName":205,"repositoryNo":206,"starsCount":207,"licenseSpdxId":208,"licenseFileUrl":18,"sourceHtmlUrl":520,"categories":521,"keywords":528,"publishedAt":229},"01M6BVB9CB6FTZFZJTX5V5C3P4","ketchup-video","Catch the user up like \u002Fketchup, with a short subtitled video of slides for what happened and the waiting calls as text under it. Use for \u002Fketchup-video.","https:\u002F\u002Fgithub.com\u002Fbnferguson\u002Fdotfiles\u002Fblob\u002Fmain\u002Fpstack\u002Fupstream\u002Fskills\u002Fketchup-video\u002FSKILL.md",[522,525],{"categoryNo":523,"categoryName":524,"taxonomyType":58,"taxonomyTypeDesc":59},"01JBSEEDCAT000000000000003","演示文稿",{"categoryNo":526,"categoryName":527,"taxonomyType":58,"taxonomyTypeDesc":59},"01JBSEEDCAT000000000000016","图像与多媒体",[529,530,502,531,328,532,286,402,287,332,248,313,533,227,409,335,534],"Video","ketchup video","slides","short","calls","what happened",{"skillNo":536,"name":537,"nameZh":18,"description":538,"descriptionZh":18,"repositoryFullName":201,"ownerLogin":202,"ownerAvatarUrl":203,"ownerAccountNo":204,"ownerDisplayName":205,"repositoryNo":206,"starsCount":207,"licenseSpdxId":208,"licenseFileUrl":18,"sourceHtmlUrl":539,"categories":540,"keywords":541,"publishedAt":229},"01M6BVB7CM0H4FN8AMM86KRNK6","interrogate","Use for \"interrogate\", \"adversarial review\", \"multi-model review\", \"challenge this\", \"stress test this code\", \"find blind spots\", or \"tear this apart\". Adversaries try to break a change or design, and only findings proven by a run survive.","https:\u002F\u002Fgithub.com\u002Fbnferguson\u002Fdotfiles\u002Fblob\u002Fmain\u002Fpstack\u002Fupstream\u002Fskills\u002Finterrogate\u002FSKILL.md",[],[537,304,542,388,543,544,545,217,494,263,546,547,402,246,548,549,227,409,550,551],"review","change","adversarial review","run","challenge","stress test","spots","multi","break","adversarial",10677,18]