mcp-security-scanner
使用@contextware/mcp-scan包扫描未受保护的MCP服务器。启用本地AI工具和网络端点的安全审计。
把 Skill 的源码、资源快照、README、包体和安装信号放进一个可搜索、可筛选的公开目录。
使用@contextware/mcp-scan包扫描未受保护的MCP服务器。启用本地AI工具和网络端点的安全审计。
当决策似乎需要多年时间来评估时,当以长期愿景为借口逃避责任时,或者当难以实时从创业/产品赌注中学习时使用
以CMU教授、数据库性能专家Andy Pavlo的风格优化数据库。强调理解内部机制、严格基准测试以及做出明智的架构选择。在调整查询性能、设计存储引擎或评估数据库技术时使用。
以《TCP/IP详解》的作者W. Richard Stevens的风格理解网络协议。强调通过包分析、分层思考以及了解每个字节发生的细节来深入理解协议。在调试网络问题、实现协议或构建网络应用程序时使用。
使用Leslie Lamport的严谨方法设计分布式系统。强调形式化推理、逻辑时间、共识协议和状态机复制。在构建并发和部分故障情况下正确性至关重要的系统时使用。
以Hypothesis的创建者David MacIver的风格测试软件。强调复杂的缩小、示例数据库、有状态测试以及Python中的实用属性测试。在使用复杂的数据结构、API或有状态系统测试Python代码时使用。
按照Herb Sutter的优秀C++原则编写代码。强调异常安全性、const正确性、现代惯用法和防御性编程。在编写必须优雅地处理错误的健壮、生产级C++时使用。
以Go语言的共同创造者Robert Griesemer的风格编写Go代码。强调简洁的语法、精确的语义以及定义良好的类型系统行为。在设计API、类型层次结构或需要精确定义的代码时使用。
编写持续检查文件,使用AI代理审查拉取请求。当用户要求创建、编写或生成检查,或者希望在PR上强制执行某种约定时使用。
一种质量控制机制,由招聘链之外的指定面试官拥有否决权,以确保候选人能够提升标准(比当前在职员工中50%的人更优秀)。这是亚马逊保持人才密度的秘密。
应用David Bianco的威胁狩猎框架,包括痛苦金字塔和威胁狩猎成熟度模型。强调根据对手成本优先进行检测,并建立成熟的狩猎计划。在设计检测策略或评估狩猎能力时使用。
使用Martin Fowler的重构原则、持续集成和企业应用程序架构模式来设计系统。强调干净的代码,渐进式改进而非彻底变革,并首先为人类编写代码。在设计企业系统、规划重构或建立工程文化时使用。
以James Bach的风格测试软件,他是探索性测试和上下文驱动测试的先驱。强调熟练的人工调查、基于启发式的测试设计以及适应环境而不是遵循严格的脚本。在设计测试策略、执行探索性测试或培养思考型测试人员时使用。
以Kent Beck的风格开发软件,他是测试驱动开发和极限编程的创始人。强调红-绿-重构、测试优先设计、小步快跑以及涌现式架构。在编写新功能、重构遗留代码或建立开发纪律时使用。
按照Scott Meyers的《Effective C++》原则编写C++代码。强调实用智慧、具体指导方针以及清晰的理由,并避免常见陷阱。在编写必须正确、可维护和高效的生产C++代码时使用。
以《Go in Action》的作者Bill Kennedy的风格编写Go代码。强调机械同理心、面向数据的设计以及理解Go代码是如何执行的。在编写对性能要求很高的Go代码或教授Go基础知识时使用。
关注输入指标(选择、价格、速度)而不是输出指标(收入、股价)。输入是可控制且具有因果关系的;输出则是滞后的。这是亚马逊的飞轮理念。
一种领导节奏,CEO/领导者每周审查实际工作(设计、原型、文案)而不是仅仅查看指标或状态幻灯片。当感觉产品质量下滑或团队进展过慢时使用。
应用Roberto Rodriguez的威胁搜寻方法,结合《威胁猎人手册》和HELK。强调有记录的搜寻、开源基础设施以及数据驱动的搜寻。在构建搜寻程序或开发搜寻手册时使用。
应用Florian Roth的检测工程方法论,使用YARA和Sigma规则。强调可移植的检测逻辑、社区共享以及签名质量。在创建跨平台工作的检测规则时使用。
使用Jim Gray的事务处理和容错原则设计数据系统。强调ACID属性、恢复机制以及使系统可靠性的科学。在构建数据库、支付系统或任何数据完整性至关重要的系统时使用。
按照Alexander Stepanov的泛型编程原则编写C++代码。强调算法而非数据结构,将概念作为需求,并在接口设计中注重数学严谨性。在设计可重用且必须跨类型工作的算法或数据结构时使用。
根据2024年5月Google内部架构泄露的API内容仓库来构建搜索系统。涵盖Ascorer排名、NavBoost点击信号、Twiddler重排、索引分层以及基于实体的检索。在设计大规模搜索引擎、排名系统或理解现代搜索实际工作原理时使用。
以TigerBeetle和Joran Dirk Greef的风格测试分布式系统,使用确定性模拟和时间压缩。强调控制所有非确定性因素,在几分钟内模拟多年的运行,并找到在生产环境中需要数十年才能显现的错误。当测试分布式系统、共识协议或任何在故障情况下正确性至关重要的系统时,请使用这种方法。