[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"skill:01M6CYYB2EGV2DG3S3WFFDSFHB":3,"skill-same:01M6CYYB2EGV2DG3S3WFFDSFHB":81},{"skillNo":4,"name":5,"nameZh":6,"description":7,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":16,"categories":17,"keywords":26,"publishedAt":47,"linkOnly":48,"markdownContent":49,"markdownBody":50,"frontMatter":51,"refName":57,"commitSha":58,"skillDirectory":59,"forksCount":60,"repositoryHtmlUrl":61,"repositoryHomepageUrl":62,"ownerHtmlUrl":63,"ownerBlogUrl":64,"ownerDescription":65,"updatedAt":66,"install":67,"resources":80},"01M6CYYB2EGV2DG3S3WFFDSFHB","aptos-move-testing",null,"Expert on testing Move smart contracts including unit tests, integration tests, Move Prover formal verification, debugging strategies, test coverage, and CI\u002FCD integration for Aptos development.","eric861129\u002FSKILLS_All-in-one","eric861129","https:\u002F\u002Favatars.githubusercontent.com\u002Fu\u002F74950944?v=4","01M6CXHDYEYRPFGGV4EFXCSYCF","ChiYu-Huang","01M6CXHE2J5CN1EBTY0FKV3ZKW",52,"MIT","https:\u002F\u002Fgithub.com\u002Feric861129\u002FSKILLS_All-in-one\u002Fblob\u002Fmain\u002Fpublic\u002FSKILLS\u002FWeb3 & Blockchain\u002Fmove-testing\u002FSKILL.md",[18,23],{"categoryNo":19,"categoryName":20,"taxonomyType":21,"taxonomyTypeDesc":22},"01JBSEEDCAT000000000000008","测试与质量","SCENARIO","使用场景",{"categoryNo":24,"categoryName":25,"taxonomyType":21,"taxonomyTypeDesc":22},"01JBSEEDCAT000000000000011","运维与部署",[27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46],"aptos move testing","testing","Bash","move prover","strategies","expert","formal verification","test coverage","coverage","write","read","debugging strategies","ci","integration","verification","development","debugging","unit tests","integration tests","test","2026-11-10 10:12:30",false,"---\nname: aptos-move-testing\ndescription: Expert on testing Move smart contracts including unit tests, integration tests, Move Prover formal verification, debugging strategies, test coverage, and CI\u002FCD integration for Aptos development.\nallowed-tools: Read, Write, Edit, Grep, Glob, Bash\nmodel: sonnet\nlicense: MIT\nmetadata:\n  author: raintree\n  version: \"1.0\"\n---\n\n# Aptos Move Testing Expert\n\nExpert on testing Move smart contracts on Aptos blockchain.\n\n## Triggers\n\n- move test, unit test, integration test\n- move prover, formal verification\n- debug, coverage, assert, expect\n- test failure, debugging\n\n## Test Attributes\n\n```move\n#[test]\nfun test_basic() { }\n\n#[test(account = @0x1)]\nfun test_with_signer(account: &signer) { }\n\n#[test(alice = @0x123, bob = @0x456)]\nfun test_multi_signer(alice: &signer, bob: &signer) { }\n\n#[test]\n#[expected_failure(abort_code = ERROR_CODE)]\nfun test_should_fail() { }\n\n#[test_only]\nfun helper_function() { }\n```\n\n## Basic Testing Pattern\n\n```move\n#[test(account = @0x123)]\nfun test_resource_creation(account: &signer) {\n    let addr = signer::address_of(account);\n    \n    \u002F\u002F Create resource\n    create_resource(account);\n    \n    \u002F\u002F Verify exists\n    assert!(exists\u003CMyResource>(addr), 0);\n    \n    \u002F\u002F Verify state\n    let resource = borrow_global\u003CMyResource>(addr);\n    assert!(resource.value == expected, 1);\n}\n```\n\n## Test Commands\n\n```bash\n# Run all tests\naptos move test\n\n# Run specific test\naptos move test --filter test_name\n\n# With coverage\naptos move test --coverage\n\n# With gas profiling\naptos move test --gas\n\n# Verbose\naptos move test --verbose\n```\n\n## Multi-Signer Testing\n\n```move\n#[test(alice = @0x123, bob = @0x456)]\nfun test_transfer(alice: &signer, bob: &signer) {\n    let alice_addr = signer::address_of(alice);\n    let bob_addr = signer::address_of(bob);\n    \n    initialize(alice);\n    initialize(bob);\n    \n    transfer(alice, bob_addr, 100);\n    \n    assert!(get_balance(alice_addr) == 900, 0);\n    assert!(get_balance(bob_addr) == 100, 1);\n}\n```\n\n## Error Testing\n\n```move\n#[test]\n#[expected_failure(abort_code = ERROR_INSUFFICIENT_BALANCE)]\nfun test_insufficient_balance() {\n    transfer(from, to, amount_too_large);\n}\n\n#[test]\n#[expected_failure]  \u002F\u002F Any failure\nfun test_any_failure() {\n    assert!(false, 0);\n}\n```\n\n## Test-Only Helpers\n\n```move\n#[test_only]\nmodule test_helpers {\n    public fun setup_account(account: &signer): address {\n        let addr = signer::address_of(account);\n        \u002F\u002F Setup logic\n        addr\n    }\n}\n```\n\n## Debugging\n\n```move\n#[test_only]\nuse std::debug;\n\n#[test]\nfun test_with_debug() {\n    debug::print(&b\"Value:\");\n    debug::print(&value);\n}\n```\n\n## Move Prover Specs\n\n```move\nspec transfer {\n    requires sender_balance >= amount;\n    ensures global\u003CBalance>(sender).value == \n            old(global\u003CBalance>(sender).value) - amount;\n    aborts_if sender_balance \u003C amount;\n}\n\nspec module {\n    invariant forall addr: address:\n        exists\u003CBalance>(addr) ==> global\u003CBalance>(addr).value >= 0;\n}\n```\n\n```bash\n# Run prover\naptos move prove\naptos move prove --filter MyModule\n```\n\n## Coverage Goals\n\nTest coverage should include:\n- All public functions\n- All abort conditions\n- All state transitions\n- All access control checks\n- Edge cases (zero, max values, empty)\n\n## Common Issues\n\n### Resource Already Exists\n\n```move\n\u002F\u002F Check existence first\nif (!exists\u003CResource>(addr)) {\n    move_to(account, Resource {});\n}\n```\n\n### Need Signer\n\n```move\n\u002F\u002F Use test parameter\n#[test(account = @0x1)]\nfun test_with_signer(account: &signer) { }\n```\n\n### Test Timeout\n\n```move\n\u002F\u002F Reduce iterations\n#[test]\nfun test_optimized() {\n    for (i in 0..100) { }  \u002F\u002F Not 1000000\n}\n```\n\n## CI\u002FCD Integration\n\n```yaml\nname: Move Tests\non: [push, pull_request]\njobs:\n  test:\n    runs-on: ubuntu-latest\n    steps:\n      - uses: actions\u002Fcheckout@v2\n      - name: Install Aptos CLI\n        run: curl -fsSL \"https:\u002F\u002Faptos.dev\u002Fscripts\u002Finstall_cli.py\" | python3\n      - name: Run Tests\n        run: aptos move test --coverage\n      - name: Run Prover\n        run: aptos move prove\n```\n\n## Best Practices\n\n- Test all public functions\n- Test all error conditions\n- Use specific abort codes\n- Break complex tests into smaller ones\n- Use test-only helpers for setup\n- Profile gas usage in tests\n- Run prover for critical code\n","# Aptos Move Testing Expert\n\nExpert on testing Move smart contracts on Aptos blockchain.\n\n## Triggers\n\n- move test, unit test, integration test\n- move prover, formal verification\n- debug, coverage, assert, expect\n- test failure, debugging\n\n## Test Attributes\n\n```move\n#[test]\nfun test_basic() { }\n\n#[test(account = @0x1)]\nfun test_with_signer(account: &signer) { }\n\n#[test(alice = @0x123, bob = @0x456)]\nfun test_multi_signer(alice: &signer, bob: &signer) { }\n\n#[test]\n#[expected_failure(abort_code = ERROR_CODE)]\nfun test_should_fail() { }\n\n#[test_only]\nfun helper_function() { }\n```\n\n## Basic Testing Pattern\n\n```move\n#[test(account = @0x123)]\nfun test_resource_creation(account: &signer) {\n    let addr = signer::address_of(account);\n    \n    \u002F\u002F Create resource\n    create_resource(account);\n    \n    \u002F\u002F Verify exists\n    assert!(exists\u003CMyResource>(addr), 0);\n    \n    \u002F\u002F Verify state\n    let resource = borrow_global\u003CMyResource>(addr);\n    assert!(resource.value == expected, 1);\n}\n```\n\n## Test Commands\n\n```bash\n# Run all tests\naptos move test\n\n# Run specific test\naptos move test --filter test_name\n\n# With coverage\naptos move test --coverage\n\n# With gas profiling\naptos move test --gas\n\n# Verbose\naptos move test --verbose\n```\n\n## Multi-Signer Testing\n\n```move\n#[test(alice = @0x123, bob = @0x456)]\nfun test_transfer(alice: &signer, bob: &signer) {\n    let alice_addr = signer::address_of(alice);\n    let bob_addr = signer::address_of(bob);\n    \n    initialize(alice);\n    initialize(bob);\n    \n    transfer(alice, bob_addr, 100);\n    \n    assert!(get_balance(alice_addr) == 900, 0);\n    assert!(get_balance(bob_addr) == 100, 1);\n}\n```\n\n## Error Testing\n\n```move\n#[test]\n#[expected_failure(abort_code = ERROR_INSUFFICIENT_BALANCE)]\nfun test_insufficient_balance() {\n    transfer(from, to, amount_too_large);\n}\n\n#[test]\n#[expected_failure]  \u002F\u002F Any failure\nfun test_any_failure() {\n    assert!(false, 0);\n}\n```\n\n## Test-Only Helpers\n\n```move\n#[test_only]\nmodule test_helpers {\n    public fun setup_account(account: &signer): address {\n        let addr = signer::address_of(account);\n        \u002F\u002F Setup logic\n        addr\n    }\n}\n```\n\n## Debugging\n\n```move\n#[test_only]\nuse std::debug;\n\n#[test]\nfun test_with_debug() {\n    debug::print(&b\"Value:\");\n    debug::print(&value);\n}\n```\n\n## Move Prover Specs\n\n```move\nspec transfer {\n    requires sender_balance >= amount;\n    ensures global\u003CBalance>(sender).value == \n            old(global\u003CBalance>(sender).value) - amount;\n    aborts_if sender_balance \u003C amount;\n}\n\nspec module {\n    invariant forall addr: address:\n        exists\u003CBalance>(addr) ==> global\u003CBalance>(addr).value >= 0;\n}\n```\n\n```bash\n# Run prover\naptos move prove\naptos move prove --filter MyModule\n```\n\n## Coverage Goals\n\nTest coverage should include:\n- All public functions\n- All abort conditions\n- All state transitions\n- All access control checks\n- Edge cases (zero, max values, empty)\n\n## Common Issues\n\n### Resource Already Exists\n\n```move\n\u002F\u002F Check existence first\nif (!exists\u003CResource>(addr)) {\n    move_to(account, Resource {});\n}\n```\n\n### Need Signer\n\n```move\n\u002F\u002F Use test parameter\n#[test(account = @0x1)]\nfun test_with_signer(account: &signer) { }\n```\n\n### Test Timeout\n\n```move\n\u002F\u002F Reduce iterations\n#[test]\nfun test_optimized() {\n    for (i in 0..100) { }  \u002F\u002F Not 1000000\n}\n```\n\n## CI\u002FCD Integration\n\n```yaml\nname: Move Tests\non: [push, pull_request]\njobs:\n  test:\n    runs-on: ubuntu-latest\n    steps:\n      - uses: actions\u002Fcheckout@v2\n      - name: Install Aptos CLI\n        run: curl -fsSL \"https:\u002F\u002Faptos.dev\u002Fscripts\u002Finstall_cli.py\" | python3\n      - name: Run Tests\n        run: aptos move test --coverage\n      - name: Run Prover\n        run: aptos move prove\n```\n\n## Best Practices\n\n- Test all public functions\n- Test all error conditions\n- Use specific abort codes\n- Break complex tests into smaller ones\n- Use test-only helpers for setup\n- Profile gas usage in tests\n- Run prover for critical code\n",{"name":5,"model":52,"license":15,"metadata":53,"description":7,"allowed-tools":56},"sonnet",{"author":54,"version":55},"raintree","1.0","Read, Write, Edit, Grep, Glob, Bash","main","cbdd44aae21131521c09e42762e36178c790eacf","public\u002FSKILLS\u002FWeb3 & Blockchain\u002Fmove-testing",13,"https:\u002F\u002Fgithub.com\u002Feric861129\u002FSKILLS_All-in-one","http:\u002F\u002Fhuangchiyu.com\u002FSKILLS_All-in-one\u002F","https:\u002F\u002Fgithub.com\u002Feric861129","https:\u002F\u002Fhuangchiyu.com\u002FChiYu-Blog\u002F","開發工程師，專注於 C#／.NET 系統現代化、AI-assisted engineering、開源工具與技術寫作。","2026-04-16 14:28:14",{"source":8,"skillName":5,"commands":68,"prompt":78,"zipAvailable":79},[69,72,75],{"tool":70,"command":71},"npx","npx skills add eric861129\u002FSKILLS_All-in-one --skill aptos-move-testing",{"tool":73,"command":74},"bunx","bunx skills add eric861129\u002FSKILLS_All-in-one --skill aptos-move-testing",{"tool":76,"command":77},"pnpm","pnpm dlx skills add eric861129\u002FSKILLS_All-in-one --skill aptos-move-testing","安装技能，技能地址：https:\u002F\u002Fgithub.com\u002Feric861129\u002FSKILLS_All-in-one\u002Fblob\u002Fmain\u002Fpublic\u002FSKILLS\u002FWeb3 & Blockchain\u002Fmove-testing\u002FSKILL.md",true,[],[82,109,141,168,193,213],{"skillNo":83,"name":84,"nameZh":6,"description":85,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":86,"categories":87,"keywords":91,"publishedAt":47},"01M6CZ1WR3KNVTKSWH4GNWT646","what-if-oracle","Run structured What-If scenario analysis with multi-branch possibility exploration. Use this skill when the user asks speculative questions like \"what if...\", \"what would happen if...\", \"what are the possibilities\", \"explore scenarios\", \"scenario analysis\", \"possibility space\", \"what could go wrong\", \"best case \u002F worst case\", \"risk analysis\", \"contingency planning\", \"strategic options\", or any question about uncertain futures. Also trigger when the user faces a fork-in-the-road decision, wants to stress-test an idea, or needs to think through consequences before committing.","https:\u002F\u002Fgithub.com\u002Feric861129\u002FSKILLS_All-in-one\u002Fblob\u002Fmain\u002Fpublic\u002FSKILLS\u002FWriting & Research\u002Fwhat-if-oracle\u002FSKILL.md",[88],{"categoryNo":89,"categoryName":90,"taxonomyType":21,"taxonomyTypeDesc":22},"01JBSEEDCAT000000000000023","Skill与智能体开发",[92,93,94,95,96,97,98,99,100,101,102,103,104,37,36,105,106,107,108,31],"oracle","what if oracle","go","run","planning","ux","futures","risk","analysis","explore","decision","branch","question","idea","exploration","options","stress-test",{"skillNo":110,"name":111,"nameZh":6,"description":112,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":113,"categories":114,"keywords":127,"publishedAt":47},"01M6CZ1QHGJE91A95MSN5EK5Q9","venue-templates","Access comprehensive LaTeX templates, formatting requirements, and submission guidelines for major scientific publication venues (Nature, Science, PLOS, IEEE, ACM), academic conferences (NeurIPS, ICML, CVPR, CHI), research posters, and grant proposals (NSF, NIH, DOE, DARPA). This skill should be used when preparing manuscripts for journal submission, conference papers, research posters, or grant proposals and need venue-specific formatting requirements and templates.","https:\u002F\u002Fgithub.com\u002Feric861129\u002FSKILLS_All-in-one\u002Fblob\u002Fmain\u002Fpublic\u002FSKILLS\u002FWriting & Research\u002Fvenue-templates\u002FSKILL.md",[115,118,121,122],{"categoryNo":116,"categoryName":117,"taxonomyType":21,"taxonomyTypeDesc":22},"01JBSEEDCAT000000000000018","写作与文案",{"categoryNo":119,"categoryName":120,"taxonomyType":21,"taxonomyTypeDesc":22},"01JBSEEDCAT000000000000021","资料检索与研究",{"categoryNo":89,"categoryName":90,"taxonomyType":21,"taxonomyTypeDesc":22},{"categoryNo":123,"categoryName":124,"taxonomyType":125,"taxonomyTypeDesc":126},"01JBSEEDCAT000000000000036","内容创作者","PROFESSION","适用职业",[128,129,130,131,132,133,134,135,29,136,37,36,137,138,139,140],"templates","venue templates","research","guidelines","NeurIPS","ICML","LaTeX","science","access","edit","proposals","Academic","requirements",{"skillNo":142,"name":143,"nameZh":6,"description":144,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":145,"categories":146,"keywords":151,"publishedAt":47},"01M6CZ1KBQD2E5RTFB3BGVX7CD","the-fool","Use when challenging ideas, plans, decisions, or proposals using structured critical reasoning. Invoke to play devil's advocate, run a pre-mortem, red team, or audit evidence and assumptions.","https:\u002F\u002Fgithub.com\u002Feric861129\u002FSKILLS_All-in-one\u002Fblob\u002Fmain\u002Fpublic\u002FSKILLS\u002FWriting & Research\u002Fthe-fool\u002FSKILL.md",[147,148],{"categoryNo":89,"categoryName":90,"taxonomyType":21,"taxonomyTypeDesc":22},{"categoryNo":149,"categoryName":150,"taxonomyType":125,"taxonomyTypeDesc":126},"01JBSEEDCAT000000000000030","开发工程师",[152,153,94,154,155,95,156,157,158,159,160,161,162,163,138,164,165,32,166,167],"the fool","review","workflow","architecture","code","audit","forge","devil","team","designer","reviewer","challenge","stress test","evidence","poke","ideas",{"skillNo":169,"name":170,"nameZh":6,"description":171,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":172,"categories":173,"keywords":177,"publishedAt":47},"01M6CZ1ES826S7P1X3333E40TA","scientific-writing","Core skill for the deep research and writing tool. Write scientific manuscripts in full paragraphs (never bullet points). Use two-stage process with (1) section outlines with key points using research-lookup then (2) convert to flowing prose. IMRAD structure, citations (APA\u002FAMA\u002FVancouver), figures\u002Ftables, reporting guidelines (CONSORT\u002FSTROBE\u002FPRISMA), for research papers and journal submissions.","https:\u002F\u002Fgithub.com\u002Feric861129\u002FSKILLS_All-in-one\u002Fblob\u002Fmain\u002Fpublic\u002FSKILLS\u002FWriting & Research\u002Fscientific-writing\u002FSKILL.md",[174,175,176],{"categoryNo":116,"categoryName":117,"taxonomyType":21,"taxonomyTypeDesc":22},{"categoryNo":89,"categoryName":90,"taxonomyType":21,"taxonomyTypeDesc":22},{"categoryNo":123,"categoryName":124,"taxonomyType":125,"taxonomyTypeDesc":126},[178,179,131,180,181,182,183,184,29,185,37,36,137,186,187,188,189,190,191,192],"writing","scientific writing","core","reporting","deep research","Citations","Outlines","tool","use","never","structure","deep","full","stage","prisma",{"skillNo":194,"name":195,"nameZh":6,"description":196,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":197,"categories":198,"keywords":200,"publishedAt":47},"01M6CZ1B2JGJTB9FRD0TW4RXXE","scientific-brainstorming","Creative research ideation and exploration. Use for open-ended brainstorming sessions, exploring interdisciplinary connections, challenging assumptions, or identifying research gaps. Best for early-stage research planning when you do not have specific observations yet. For formulating testable hypotheses from data use hypothesis-generation.","https:\u002F\u002Fgithub.com\u002Feric861129\u002FSKILLS_All-in-one\u002Fblob\u002Fmain\u002Fpublic\u002FSKILLS\u002FWriting & Research\u002Fscientific-brainstorming\u002FSKILL.md",[199],{"categoryNo":89,"categoryName":90,"taxonomyType":21,"taxonomyTypeDesc":22},[201,202,130,203,96,204,205,206,186,207,208,209,106,210,211,191,212],"brainstorming","scientific brainstorming","sessions","data","hypothesis","open","ideation","creative","do","connections","research ideation","generation",{"skillNo":214,"name":215,"nameZh":6,"description":216,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":12,"repositoryNo":13,"starsCount":14,"licenseSpdxId":15,"licenseFileUrl":6,"sourceHtmlUrl":217,"categories":218,"keywords":225,"publishedAt":47},"01M6CZ16JG8N7A2ZX04BGE8J2Y","research-lookup","Look up current research information using the Parallel Chat API (primary) or Perplexity sonar-pro-search (academic paper searches). Automatically routes queries to the best backend. Use for finding papers, gathering research data, and verifying scientific information.","https:\u002F\u002Fgithub.com\u002Feric861129\u002FSKILLS_All-in-one\u002Fblob\u002Fmain\u002Fpublic\u002FSKILLS\u002FWriting & Research\u002Fresearch-lookup\u002FSKILL.md",[219,222,223,224],{"categoryNo":220,"categoryName":221,"taxonomyType":21,"taxonomyTypeDesc":22},"01JBSEEDCAT000000000000010","后端与接口",{"categoryNo":119,"categoryName":120,"taxonomyType":21,"taxonomyTypeDesc":22},{"categoryNo":89,"categoryName":90,"taxonomyType":21,"taxonomyTypeDesc":22},{"categoryNo":149,"categoryName":150,"taxonomyType":125,"taxonomyTypeDesc":126},[130,226,227,228,204,229,230,29,231,232,37,36,137,186,233,234,235,236,237,139],"lookup","research lookup","search","perplexity","api","parallel","openrouter","backend","up","look","queries","chat"]