工程开发
spec-to-code-compliance
验证区块链智能合约代码与技术规范、白皮书及设计文件的对应性,确保实现与规格完全一致。
浏览: 11★ 4,904
探索可复用的代理技能,查看实现细节,快速找到适合你工作流程的技能。
共找到 135 个技能
验证区块链智能合约代码与技术规范、白皮书及设计文件的对应性,确保实现与规格完全一致。
扫描 Solana 程序 (原生/Anchor) 以查找 6 种关键漏洞,包括任意 CPI、不当 PDA 验证及缺失所有权检查,并提供详细的修复建议。
通过识别和分类智能合约代码库中的状态变更进入点,绘制攻击面地图。
Rust 所有权、借用与生命周期专家,涵盖 E0382, E0597 等常见编译器错误与内存安全模式分析。
为 Python 代码提供 6 阶段只读分析的工作流程,根据项目类型(从 POC 到开源)检测设计原则违规、代码异味并建议现代化改善方案。
一套专为软件工程师设计的代码质量套件,实践 SOLID 原则、设计模式、重构技术与技术债务管理,确保代码整洁、易于维护且符合生产环境标准。
引导式统计分析,包含测试选择、假设检验、功效分析及 APA 格式报告,适用于学术与实验研究。
SDD 框架的跨文件验证、追溯性缺口检测及全项目一致性检查。
节省 token 的代码分析技能,支持调用图、语义搜索、影响分析与数据流追踪。相比原始代码读取节省约 95% token。
系统性地追踪代码流、定位实现、诊断性能问题并映射系统架构,协助您深入理解复杂的代码库。
编排 Codex CLI 以实现高效并行程序开发、自动化任务与会话管理,优化 Token 使用量并提升开发效率。
通过智能符号索引、领域分块与架构层过滤,实现代码库的高效率导航。在探索或开发复杂系统时,可减少 60-95% 的 Token 使用量。