用过但不限于 

mattpocock-skills
superpowsers (太重了, 弃之)
pstack
Trellis
openspec

还有诺干等 
等等等, 但是我发现这些方法论, 还是"功法", 不是"内功", 换句话说 

模块和模块的外部边界, 界限上下文, 如何拆分, 如何归类, 如何区分领域
模块内部的细节, api, interface等等的归属, 详细设计

其实都没有, 都只是把你的想法拷问出到需求层面, 然后生成一份没有任何结构约束的看起来像是技术的技术架构, 但是这个技术架构其实非常不稳定, 大家都知道模型是抽卡的概念事件, 不可否认顶级模型的聪明程度, 但是上下文长了, 跨会话还是会出现这样那样的问题; 
其实衡量你的prd, 技术文档, 测试文档是否可行, 就是把你代码直接删了, 看你能不能重新跑出来, 我相信, 大部分纯粹依靠上面这些提供"功法"的...