这个技能实现抽象解释框架，用于静态程序分析、bug检测和程序验证。它支持多种抽象域，如符号域、区间域，并提供固定点计算和widening操作以确保终止。关键词：抽象解释、静态分析、程序验证、bug检测、抽象域、固定点、widening、程序分析、静态分析器、软件验证。

资助提案撰写技能专注于为艺术文化机构提供全面的资助申请服务，包括资助方研究、项目叙事撰写、预算编制和合规文件准备。关键词：资助申请、提案撰写、预算制定、基金会资助、政府资助、企业赞助、非营利组织筹款、项目评估、合规文件。

qmd是一个高效的本地Markdown文档搜索工具，支持关键词（BM25）、语义（向量）和混合搜索模式，帮助用户快速管理和检索个人知识库中的信息。适用于笔记整理、文档搜索和知识管理，提高工作效率。关键词：Markdown搜索工具，本地文件搜索，笔记检索系统，AI搜索应用，文档管理软件，快速搜索，知识库管理。

这个技能用于管理协作小说的世界百科，确保信息组织、交叉引用和可访问性，使多个贡献者能在共享宇宙中一致写作。关键词包括：协作小说、世界百科管理、世界构建、规范状态、SEO优化。

这是一个使用Grep工具快速搜索Markdown文件内容的技能，支持按目录分组结果，无需额外插件或索引。关键词：搜索、Grep、文件搜索、目录分组、知识管理。

这个技能用于检测和去除推理过程中的认知偏见，帮助用户在预测和决策时保持客观和准确。它基于侦察心态框架，包括反转测试、范围敏感性检查等方法，适用于提升智力诚实和减少预测偏差的场景。关键词：侦察心态，认知偏见，偏见检测，去偏见，预测，决策支持，推理，概率校准。

这个技能用于生成宠物护理交接计划，帮助宠物主人在临时离开时，将护理责任顺利交接给看护者，包括日常例程对齐、紧急协议制定和文档准备。关键词：宠物护理、交接计划、看护者简报、应急协议、宠物保姆说明。

这个技能用于制定和执行高效的产品经理求职计划，强调时间管理和结果导向，包括简历优化、定向申请、推荐人联系、面试模拟等活动，帮助求职者以最少时间获得最大招聘结果。关键词：产品经理、求职、时间规划、面试准备、简历优化、推荐人联系、结果驱动、时间管理。

这个技能用于制定和执行产品经理的可持续10周求职计划，通过时间框定和迭代优化，涵盖简历改进、目标职位申请、推荐人联系和面试模拟，基于真实信号如回复率进行调整，以提高求职效率和成功率。关键词：产品经理、求职、计划、迭代、简历优化、面试准备、可持续、反馈循环、时间管理。

这个技能用于构建高质量、多样化的随机化列表，以支持创意写作和故事开发中的熵工具。它通过研究扩展列表，确保列表具有大小、多样性和具体性，帮助生成意外故事元素。关键词：列表构建、创意熵、随机化、故事元素、职业、地点、对象、SEO。

此技能是一个自动化工具，用于管理Cursor IDE的文档系统。它提供文档爬取、索引管理、搜索和解析功能，确保文档的一致性和可访问性。关键词：文档管理、自动化、搜索、索引、Cursor、开发工具、文档自动化。

这个技能是关于撰写和优化README文件的指南，提供模板和指导，帮助用户根据项目类型和受众需求创建有效的文档。关键词包括：README撰写、项目文档、文档优化、开源项目文档、文档指南。