[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"skill:01M6N5525PJ7TYGCYN0Q6QD356":3,"skill-same:01M6N5525PJ7TYGCYN0Q6QD356":81},{"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":38,"linkOnly":39,"markdownContent":40,"markdownBody":41,"frontMatter":42,"refName":43,"commitSha":44,"skillDirectory":45,"forksCount":46,"repositoryHtmlUrl":47,"repositoryHomepageUrl":6,"ownerHtmlUrl":48,"ownerBlogUrl":6,"ownerDescription":49,"updatedAt":50,"install":51,"resources":64},"01M6N5525PJ7TYGCYN0Q6QD356","acorn-prover",null,"Verify and write proofs using the Acorn theorem prover for mathematical and cryptographic formalization. Use when working with Acorn proof files (.ac), verifying theorems, formalizing mathematical or cryptographic protocols, or writing proofs in the Acorn language. Triggers on: (1) Creating or editing .ac files, (2) Running acorn verify commands, (3) Formalizing math or crypto proofs, (4) Questions about Acorn syntax or standard library.","Kernel8901\u002Fai-agent-skills-classification","Kernel8901","https:\u002F\u002Favatars.githubusercontent.com\u002Fu\u002F72647553?v=4","01M6KV388J2H5PNC8D8P940BJD","01M6KV38CS5B3AY63RKZB410YM",7,"MIT","https:\u002F\u002Fgithub.com\u002FKernel8901\u002Fai-agent-skills-classification\u002Fblob\u002Fmain\u002F内容创意\u002Facorn-prover\u002FSKILL.md",[],[18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37],"acorn prover","commands","ac","for","questions","with","about","Mathematical","proof","triggers","writing","crypto","files","use","write","math","editing","syntax","verify","protocols","2026-11-10 10:12:30",false,"---\nname: acorn-prover\ndescription: \"Verify and write proofs using the Acorn theorem prover for mathematical and cryptographic formalization. Use when working with Acorn proof files (.ac), verifying theorems, formalizing mathematical or cryptographic protocols, or writing proofs in the Acorn language. Triggers on: (1) Creating or editing .ac files, (2) Running acorn verify commands, (3) Formalizing math or crypto proofs, (4) Questions about Acorn syntax or standard library.\"\n---\n\n# Acorn Prover\n\n## Setup (MUST DO WHEN RUNNING FIRST TIME)\n\nIf `config.env` does not exist in the skill directory:\n\n1. **Ask the user** for the following paths:\n   - `ACORN_LIB` - Path to acornlib (e.g., `\u002Fpath\u002Fto\u002Facornprover\u002Facornlib`)\n   - `ACORN_PROJECT` - Path to project directory for `.ac` files (e.g., `\u002Fpath\u002Fto\u002Facorn-playground`)\n\n2. **Verify** the paths exist using `list_dir` or equivalent. If a path is invalid, inform the user and ask again.\n\n3. **Run setup.sh** with the validated paths:\n\n```bash\nbash skills\u002Facorn-prover\u002Fscripts\u002Fsetup.sh \"\u003CACORN_LIB>\" \"\u003CACORN_PROJECT>\"\n```\n\n4. **Source the config** to get `ACORN_LIB`, `ACORN_PROJECT`, and `USE_MISE` variables:\n\n```bash\nsource skills\u002Facorn-prover\u002Fconfig.env\n```\n\nIf any of the above are blank \u002F not set, inform the user to set the variable manually.\nIf any of the above are changed, ask the user for new paths and run setup again.\n\n## Configuration\n\nConfig values are stored in `skills\u002Facorn-prover\u002Fconfig.env`:\n\n| Variable        | Description                     |\n| --------------- | ------------------------------- |\n| `ACORN_LIB`     | Path to acornlib                |\n| `ACORN_PROJECT` | Project directory for .ac files |\n| `USE_MISE`      | `true` if mise is available     |\n\n## Verify Proofs\n\nIf `USE_MISE=true`:\n\n```bash\nmise run acorn verify \u003Cfilename>.ac\n```\n\nOtherwise, use the direct CLI:\n\n```bash\nacorn --lib \"$ACORN_LIB\" verify \u003Cfilename>.ac\n```\n\n## Reverify Proofs (CI\u002FCD)\n\nCheck that all proofs are cached with no AI searches required:\n\n```bash\n# With mise\nmise run acorn reverify\n\n# Or direct CLI\nacorn --lib \"$ACORN_LIB\" reverify\n```\n\nUse for CI pipelines to ensure all proofs are complete.\n\n## Training Data Generation\n\nGenerate training data (problem-proof pairs) for AI model development:\n\n```bash\n# With mise\nmise run acorn training .\u002Ftraining_data\n\n# Or direct CLI\nacorn --lib \"$ACORN_LIB\" training .\u002Ftraining_data\n```\n\nArgument: `DIR` - Directory to output training data.\n\n## Documentation Generation\n\nGenerate library reference documentation:\n\n```bash\n# With mise\nmise run acorn docs .\u002Fdocs\u002Flibrary\n\n# Or direct CLI\nacorn --lib \"$ACORN_LIB\" docs .\u002Fdocs\u002Flibrary\n```\n\nArgument: `DIR` - Directory to output documentation.\n\n## Workflow\n\n1. Source config: `source skills\u002Facorn-prover\u002Fconfig.env`\n2. Write proof file in `$ACORN_PROJECT\u002F`\n3. Run the appropriate command (verify, reverify, training, docs)\n4. **Always show the full command output to the user** (success or error)\n5. Debug errors using the common errors table in [references\u002Fsyntax.md](references\u002Fsyntax.md)\n6. Iterate until verification passes\n\n## Quick Syntax Overview\n\n```acorn\nfrom nat import Nat\nfrom add_comm_group import AddCommGroup\n\n\u002F\u002F Theorems - auto-proved or with hints\ntheorem example(a: Nat, b: Nat) {\n    a \u003C b implies a != b\n}\n\n\u002F\u002F Typeclasses - axioms are named blocks, no \"axiom\" keyword\ntypeclass A: AddGroup extends Zero, Neg, Add {\n    inverse_right(a: A) { a + -a = A.0 }\n}\n\n\u002F\u002F Structures\nstructure Pair[T, U] { first: T  second: U }\n\n\u002F\u002F Inductive types - constructors MUST be lowercase\ninductive MyBool { tru fls }\n```\n\nKey points:\n\n- Built-in logic keywords (`not`, `and`, `or`, `implies`, `iff`, `true`, `false`) are reserved - do not redefine\n- Constructor names must be lowercase\n- Typeclass axioms use named blocks, not the `axiom` keyword\n\n## Standard Library (`acornlib`)\n\nKey modules in `$ACORN_LIB\u002Fsrc`:\n\n| Module              | Contents                                   |\n| ------------------- | ------------------------------------------ |\n| `nat\u002F`              | Natural number axioms, induction, addition |\n| `add_group.ac`      | `AddGroup` with `a + -a = A.0`             |\n| `add_comm_group.ac` | Abelian groups (`AddCommGroup`)            |\n\n## References\n\n- **Full syntax, error table, examples**: See [references\u002Fsyntax.md](references\u002Fsyntax.md)\n- **Context7 docs**: Use `context7` MCP with `\u002Facornprover\u002Facorn` or `\u002Facornprover\u002Facornlib` for latest documentation\n","# Acorn Prover\n\n## Setup (MUST DO WHEN RUNNING FIRST TIME)\n\nIf `config.env` does not exist in the skill directory:\n\n1. **Ask the user** for the following paths:\n   - `ACORN_LIB` - Path to acornlib (e.g., `\u002Fpath\u002Fto\u002Facornprover\u002Facornlib`)\n   - `ACORN_PROJECT` - Path to project directory for `.ac` files (e.g., `\u002Fpath\u002Fto\u002Facorn-playground`)\n\n2. **Verify** the paths exist using `list_dir` or equivalent. If a path is invalid, inform the user and ask again.\n\n3. **Run setup.sh** with the validated paths:\n\n```bash\nbash skills\u002Facorn-prover\u002Fscripts\u002Fsetup.sh \"\u003CACORN_LIB>\" \"\u003CACORN_PROJECT>\"\n```\n\n4. **Source the config** to get `ACORN_LIB`, `ACORN_PROJECT`, and `USE_MISE` variables:\n\n```bash\nsource skills\u002Facorn-prover\u002Fconfig.env\n```\n\nIf any of the above are blank \u002F not set, inform the user to set the variable manually.\nIf any of the above are changed, ask the user for new paths and run setup again.\n\n## Configuration\n\nConfig values are stored in `skills\u002Facorn-prover\u002Fconfig.env`:\n\n| Variable        | Description                     |\n| --------------- | ------------------------------- |\n| `ACORN_LIB`     | Path to acornlib                |\n| `ACORN_PROJECT` | Project directory for .ac files |\n| `USE_MISE`      | `true` if mise is available     |\n\n## Verify Proofs\n\nIf `USE_MISE=true`:\n\n```bash\nmise run acorn verify \u003Cfilename>.ac\n```\n\nOtherwise, use the direct CLI:\n\n```bash\nacorn --lib \"$ACORN_LIB\" verify \u003Cfilename>.ac\n```\n\n## Reverify Proofs (CI\u002FCD)\n\nCheck that all proofs are cached with no AI searches required:\n\n```bash\n# With mise\nmise run acorn reverify\n\n# Or direct CLI\nacorn --lib \"$ACORN_LIB\" reverify\n```\n\nUse for CI pipelines to ensure all proofs are complete.\n\n## Training Data Generation\n\nGenerate training data (problem-proof pairs) for AI model development:\n\n```bash\n# With mise\nmise run acorn training .\u002Ftraining_data\n\n# Or direct CLI\nacorn --lib \"$ACORN_LIB\" training .\u002Ftraining_data\n```\n\nArgument: `DIR` - Directory to output training data.\n\n## Documentation Generation\n\nGenerate library reference documentation:\n\n```bash\n# With mise\nmise run acorn docs .\u002Fdocs\u002Flibrary\n\n# Or direct CLI\nacorn --lib \"$ACORN_LIB\" docs .\u002Fdocs\u002Flibrary\n```\n\nArgument: `DIR` - Directory to output documentation.\n\n## Workflow\n\n1. Source config: `source skills\u002Facorn-prover\u002Fconfig.env`\n2. Write proof file in `$ACORN_PROJECT\u002F`\n3. Run the appropriate command (verify, reverify, training, docs)\n4. **Always show the full command output to the user** (success or error)\n5. Debug errors using the common errors table in [references\u002Fsyntax.md](references\u002Fsyntax.md)\n6. Iterate until verification passes\n\n## Quick Syntax Overview\n\n```acorn\nfrom nat import Nat\nfrom add_comm_group import AddCommGroup\n\n\u002F\u002F Theorems - auto-proved or with hints\ntheorem example(a: Nat, b: Nat) {\n    a \u003C b implies a != b\n}\n\n\u002F\u002F Typeclasses - axioms are named blocks, no \"axiom\" keyword\ntypeclass A: AddGroup extends Zero, Neg, Add {\n    inverse_right(a: A) { a + -a = A.0 }\n}\n\n\u002F\u002F Structures\nstructure Pair[T, U] { first: T  second: U }\n\n\u002F\u002F Inductive types - constructors MUST be lowercase\ninductive MyBool { tru fls }\n```\n\nKey points:\n\n- Built-in logic keywords (`not`, `and`, `or`, `implies`, `iff`, `true`, `false`) are reserved - do not redefine\n- Constructor names must be lowercase\n- Typeclass axioms use named blocks, not the `axiom` keyword\n\n## Standard Library (`acornlib`)\n\nKey modules in `$ACORN_LIB\u002Fsrc`:\n\n| Module              | Contents                                   |\n| ------------------- | ------------------------------------------ |\n| `nat\u002F`              | Natural number axioms, induction, addition |\n| `add_group.ac`      | `AddGroup` with `a + -a = A.0`             |\n| `add_comm_group.ac` | Abelian groups (`AddCommGroup`)            |\n\n## References\n\n- **Full syntax, error table, examples**: See [references\u002Fsyntax.md](references\u002Fsyntax.md)\n- **Context7 docs**: Use `context7` MCP with `\u002Facornprover\u002Facorn` or `\u002Facornprover\u002Facornlib` for latest documentation\n",{"name":5,"description":7},"main","f4cb2d49f7667e79ef7804f50396d5aaffdf1f56","内容创意\u002Facorn-prover",1,"https:\u002F\u002Fgithub.com\u002FKernel8901\u002Fai-agent-skills-classification","https:\u002F\u002Fgithub.com\u002FKernel8901","a little little little dobe in life but science geek","2026-04-05 16:43:56",{"source":8,"skillName":5,"commands":52,"prompt":62,"zipAvailable":63},[53,56,59],{"tool":54,"command":55},"npx","npx skills add Kernel8901\u002Fai-agent-skills-classification --skill acorn-prover",{"tool":57,"command":58},"bunx","bunx skills add Kernel8901\u002Fai-agent-skills-classification --skill acorn-prover",{"tool":60,"command":61},"pnpm","pnpm dlx skills add Kernel8901\u002Fai-agent-skills-classification --skill acorn-prover","安装技能，技能地址：https:\u002F\u002Fgithub.com\u002FKernel8901\u002Fai-agent-skills-classification\u002Fblob\u002Fmain\u002F内容创意\u002Facorn-prover\u002FSKILL.md",true,[65,71,75],{"path":66,"resourceType":67,"resourceTypeDesc":68,"sizeBytes":69,"sourceHtmlUrl":70},"_meta.json","REFERENCE","参考文档",282,"https:\u002F\u002Fgithub.com\u002FKernel8901\u002Fai-agent-skills-classification\u002Fblob\u002Fmain\u002F内容创意\u002Facorn-prover\u002F_meta.json",{"path":72,"resourceType":67,"resourceTypeDesc":68,"sizeBytes":73,"sourceHtmlUrl":74},"references\u002Fsyntax.md",3420,"https:\u002F\u002Fgithub.com\u002FKernel8901\u002Fai-agent-skills-classification\u002Fblob\u002Fmain\u002F内容创意\u002Facorn-prover\u002Freferences\u002Fsyntax.md",{"path":76,"resourceType":77,"resourceTypeDesc":78,"sizeBytes":79,"sourceHtmlUrl":80},"scripts\u002Fsetup.sh","SCRIPT","脚本",1103,"https:\u002F\u002Fgithub.com\u002FKernel8901\u002Fai-agent-skills-classification\u002Fblob\u002Fmain\u002F内容创意\u002Facorn-prover\u002Fscripts\u002Fsetup.sh",[82,105,140,151,161,190],{"skillNo":83,"name":84,"nameZh":6,"description":85,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":6,"repositoryNo":12,"starsCount":13,"licenseSpdxId":14,"licenseFileUrl":6,"sourceHtmlUrl":86,"categories":87,"keywords":88,"publishedAt":38},"01M6Q5R6WZ06RRB9RQTW54B34B","zyfai","Earn yield on any Ethereum wallet on Base, Arbitrum, and Plasma. Use when a user wants passive DeFi yield on their funds. Deploys a non-custodial subaccount (Safe) linked to their EOA, enables automated yield optimization, and lets them deposit\u002Fwithdraw anytime.","https:\u002F\u002Fgithub.com\u002FKernel8901\u002Fai-agent-skills-classification\u002Fblob\u002Fmain\u002F金融\u002Fzyfai-sdk\u002FSKILL.md",[],[84,89,90,91,92,93,31,94,95,96,97,98,99,100,101,102,103,104],"safe","ethereum","defi","Optimization","user","Wallet","base","deposit","withdraw","yield","arbitrum","non-custodial","passive","defi yield","earn","yield optimization",{"skillNo":106,"name":107,"nameZh":6,"description":6,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":6,"repositoryNo":12,"starsCount":13,"licenseSpdxId":14,"licenseFileUrl":6,"sourceHtmlUrl":108,"categories":109,"keywords":123,"publishedAt":38},"01M6Q5R337B5JSNER4P4YS03TN","zerion-api","https:\u002F\u002Fgithub.com\u002FKernel8901\u002Fai-agent-skills-classification\u002Fblob\u002Fmain\u002F金融\u002Fzerion-api\u002FSKILL.md",[110,115,118],{"categoryNo":111,"categoryName":112,"taxonomyType":113,"taxonomyTypeDesc":114},"01JBSEEDCAT000000000000010","后端与接口","SCENARIO","使用场景",{"categoryNo":116,"categoryName":117,"taxonomyType":113,"taxonomyTypeDesc":114},"01JBSEEDCAT000000000000023","Skill与智能体开发",{"categoryNo":119,"categoryName":120,"taxonomyType":121,"taxonomyTypeDesc":122},"01JBSEEDCAT000000000000030","开发工程师","PROFESSION","适用职业",[124,125,126,127,128,129,130,91,131,94,132,29,133,134,135,136,137,138,139],"api","zerion api","zerion","MCP","mcp server","server","blockchain","transactions","crypto wallet","evm","solana","query","across","positions","token","prices",{"skillNo":141,"name":142,"nameZh":6,"description":6,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":6,"repositoryNo":12,"starsCount":13,"licenseSpdxId":14,"licenseFileUrl":6,"sourceHtmlUrl":143,"categories":144,"keywords":148,"publishedAt":38},"01M6Q5QZFYTDAZMZ27BN5VZXAR","zerion-api-skill","https:\u002F\u002Fgithub.com\u002FKernel8901\u002Fai-agent-skills-classification\u002Fblob\u002Fmain\u002F金融\u002Fzerion-api-skill\u002FSKILL.md",[145,146,147],{"categoryNo":111,"categoryName":112,"taxonomyType":113,"taxonomyTypeDesc":114},{"categoryNo":116,"categoryName":117,"taxonomyType":113,"taxonomyTypeDesc":114},{"categoryNo":119,"categoryName":120,"taxonomyType":121,"taxonomyTypeDesc":122},[124,149,150,125,126,127,128,129,130,91,131,94,29,133,134,135,136,137,138,139],"api skill","zerion api skill",{"skillNo":152,"name":153,"nameZh":6,"description":6,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":6,"repositoryNo":12,"starsCount":13,"licenseSpdxId":14,"licenseFileUrl":6,"sourceHtmlUrl":154,"categories":155,"keywords":159,"publishedAt":38},"01M6Q5QW17QW98RA3FE45E4RD8","zerion-api-mcp","https:\u002F\u002Fgithub.com\u002FKernel8901\u002Fai-agent-skills-classification\u002Fblob\u002Fmain\u002F金融\u002Fzerion-api-mcp\u002FSKILL.md",[156,157,158],{"categoryNo":111,"categoryName":112,"taxonomyType":113,"taxonomyTypeDesc":114},{"categoryNo":116,"categoryName":117,"taxonomyType":113,"taxonomyTypeDesc":114},{"categoryNo":119,"categoryName":120,"taxonomyType":121,"taxonomyTypeDesc":122},[127,124,160,125,126,128,129,91,131,94,132,29,133,134,135,136,137,138,139],"zerion api mcp",{"skillNo":162,"name":163,"nameZh":6,"description":164,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":6,"repositoryNo":12,"starsCount":13,"licenseSpdxId":14,"licenseFileUrl":6,"sourceHtmlUrl":165,"categories":166,"keywords":170,"publishedAt":38},"01M6Q5QQYZB7A501BDEQWKGSJT","yahoo-finance-forex","Fetches real-time FOREX news and market data from Yahoo Finance for major currency pairs (EUR\u002FUSD, GBP\u002FUSD, USD\u002FJPY, etc.). Analyzes sentiment and provides trading context.","https:\u002F\u002Fgithub.com\u002FKernel8901\u002Fai-agent-skills-classification\u002Fblob\u002Fmain\u002F金融\u002Fyahoo-finance-forex\u002FSKILL.md",[167],{"categoryNo":168,"categoryName":169,"taxonomyType":121,"taxonomyTypeDesc":122},"01JBSEEDCAT000000000000040","财务",[171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,21],"finance","yahoo finance","forex","yahoo","yahoo finance forex","github","https","sentiment","real-time","python3","install","Market","usd","news","time","currency","gbp","pip","market data",{"skillNo":191,"name":192,"nameZh":6,"description":193,"descriptionZh":6,"repositoryFullName":8,"ownerLogin":9,"ownerAvatarUrl":10,"ownerAccountNo":11,"ownerDisplayName":6,"repositoryNo":12,"starsCount":13,"licenseSpdxId":14,"licenseFileUrl":6,"sourceHtmlUrl":194,"categories":195,"keywords":197,"publishedAt":38},"01M6Q5QM6VS84WZVM7BKXXPF32","yahoo-finance","This skill should be used when the user asks to \"get stock prices\", \"check stock quotes\", \"look up earnings\", \"get financial data\", \"find trending stocks\", or needs stock market data from Yahoo Finance.","https:\u002F\u002Fgithub.com\u002FKernel8901\u002Fai-agent-skills-classification\u002Fblob\u002Fmain\u002F金融\u002Fyahoo-finance-cli\u002FSKILL.md",[196],{"categoryNo":168,"categoryName":169,"taxonomyType":121,"taxonomyTypeDesc":122},[171,172,174,198,199,200,201,202,203,182,204,205,206,207,208,209,210,211,139,189],"cli","homebrew","find","check","brew","up","local","get","stock","link","trending","sf","quotes","ln"]