‹ 首页

arabelatso

@arabelatso
50已上架

作品集

abstract-domain-explorer
静态分析程序变量并推断不变量与值范围
场景代码评审错误检测循环分析
@arabelatso
★ 137
获取 ›
abstract-invariant-generator
自动推断循环不变量和函数契约，辅助形式化验证
场景代码验证形式化证明契约推断
@arabelatso
★ 137
获取 ›
abstract-state-analyzer
分析源码推断程序状态与潜在错误
场景代码评审安全审计上线前检查
@arabelatso
★ 137
获取 ›
abstract-trace-summarizer
分析程序行为，生成抽象执行摘要
场景代码分析程序理解错误检测
@arabelatso
★ 137
获取 ›
acsl-annotation-assistant
为C/C++代码生成ACSL形式化注解
场景形式化验证代码安全审计静态分析
@arabelatso
★ 137
获取 ›
agent-browser
用命令行自动操控浏览器，完成网页交互与数据提取
场景网页测试表单填写截图取证
@arabelatso
★ 137
获取 ›
ambiguity-detector
识别并改进需求文档中的模糊表述
场景需求评审用户故事编写规格说明检查
@arabelatso
★ 137
获取 ›
api-design-assistant
设计并审查 API，优化端点、参数与规范
场景接口设计api审查文档生成
@arabelatso
★ 137
获取 ›
api-documentation-generator
从代码仓库自动生成API文档
场景接口联调api文档编写代码库梳理
@arabelatso
★ 137
获取 ›
assertion-synthesizer
根据已有代码自动生成测试断言
场景补测试提升覆盖率
@arabelatso
★ 137
获取 ›
behavior-preservation-checker
对比迁移前后代码行为，发现差异与回归
场景代码迁移重构验证框架升级
@arabelatso
★ 137
获取 ›
behavioral-mutation-analyzer
分析变异测试中存活的突变体并生成改进测试
场景变异测试分析测试质量提升低变异分数排查
@arabelatso
★ 137
获取 ›
bisect-aware-instrumentation
为 git bisect 注入确定性信号，自动定位引入缺陷的提交
场景回归调试二分查找自动化测试
@arabelatso
★ 137
获取 ›
bug-history-summarizer
追踪bug从引入到修复的完整生命周期
场景bug复盘代码评审问题追溯
@arabelatso
★ 137
获取 ›
bug-localization
快速定位代码中的错误位置
场景调试程序分析报错排查测试失败
@arabelatso
★ 137
获取 ›
bug-reproduction-test-generator
根据问题报告自动生成可复现的测试代码
场景bug复现测试编写问题验证
@arabelatso
★ 137
获取 ›
bug-to-patch-generator
根据报错信息自动生成代码补丁
场景调试报错修复测试失败
@arabelatso
★ 137
获取 ›
build-ci-migration-assistant
自动迁移构建系统和CI/CD配置到目标平台
场景构建系统升级ci提供商切换项目标准化
@arabelatso
★ 137
获取 ›
c-cpp-to-lean4-translator
将C/C++代码转换为可运行的Lean4程序
场景代码迁移语言转换
@arabelatso
★ 137
获取 ›
cd-pipeline-generator
自动生成多环境部署流水线
场景持续部署环境配置上线前检查
@arabelatso
★ 137
获取 ›
change-log-generator
从 git 提交自动生成分类清晰的变更日志
场景版本发布更新日志维护发布说明
@arabelatso
★ 137
获取 ›
ci-pipeline-synthesizer
自动生成CI/CD流水线配置，实现库项目的构建与测试
场景持续集成自动化构建流水线配置
@arabelatso
★ 137
获取 ›
code-change-summarizer
从代码变更自动生成清晰的 PR 描述
场景代码评审提交pr版本发布
@arabelatso
★ 137
获取 ›
code-comment-generator
为代码自动生成清晰注释和文档
场景代码维护代码评审接口联调
@arabelatso
★ 137
获取 ›
code-completion-semantic-constraints
补全代码片段并自动满足类型、契约等语义约束
场景代码补全接口实现约束验证
@arabelatso
★ 137
获取 ›
code-instrumentation-generator
自动为代码添加运行时追踪与日志
场景性能分析代码监控
@arabelatso
★ 137
获取 ›
code-optimizer
分析并优化代码，提升执行速度、降低内存占用
场景代码性能调优内存优化数据库查询优化
@arabelatso
★ 137
获取 ›
code-pattern-extractor
从代码库中提取可复用模式并生成重构建议
场景代码重构技术债清理模式文档化
@arabelatso
★ 137
获取 ›
code-refactoring-assistant
改善代码结构，消除坏味道，保持行为不变
场景代码重构消除重复提升可读性
@arabelatso
★ 137
获取 ›
code-repair-generation-combo
自动修复代码错误并生成测试用例
场景代码调试测试编写
@arabelatso
★ 137
获取 ›
code-review-assistant
审查代码质量，发现缺陷与安全隐患
场景代码评审合并请求检查
@arabelatso
★ 137
获取 ›
code-search-assistant
根据代码片段搜索仓库中相似实现
场景代码复用依赖分析相似实现查找
@arabelatso
★ 137
获取 ›
code-smell-detector
检测 Python 代码中的坏味道并给出重构建议
场景代码审计重构准备设计评审
@arabelatso
★ 137
获取 ›
code-summarizer
快速理解任意规模代码的意图与逻辑
场景代码评审接手旧项目学习新代码库
@arabelatso
★ 137
获取 ›
code-translation
将代码在不同编程语言间转换，保持功能与语义不变
场景代码迁移跨语言重构遗留系统升级
@arabelatso
★ 137
获取 ›
component-boundary-identifier
分析代码模块边界，发现循环依赖与架构违规
场景架构审查模块解耦依赖分析
@arabelatso
★ 137
获取 ›
config-consistency-checker
自动检测配置文件中的不一致和安全隐患
场景配置检查环境对比上线前验证
@arabelatso
★ 137
获取 ›
configuration-generator
为应用和服务生成配置文件
场景项目初始化容器化部署ci/cd配置
@arabelatso
★ 137
获取 ›
conflict-analyzer
检测需求文档中的冲突并给出解决建议
场景需求评审规格检查项目计划
@arabelatso
★ 137
获取 ›
containerization-assistant
为应用生成 Dockerfile、Compose 和 K8s 配置
场景容器化部署配置多服务编排
@arabelatso
★ 137
获取 ›
control-flow-abstraction-generator
将程序代码自动生成控制流图，辅助静态分析与验证
场景代码评审静态分析程序理解
@arabelatso
★ 137
获取 ›
counterexample-debugger
用反例定位证明失败的根本原因
场景定理证明形式化验证规范调试
@arabelatso
★ 137
获取 ›
counterexample-explainer
分析违反规范的失败原因并生成结构化解释
场景调试测试失败理解模型检查输出教学规范概念
@arabelatso
★ 137
获取 ›
counterexample-generator
生成反例来定位验证失败的原因
场景形式验证断言调试故障排查
@arabelatso
★ 137
获取 ›
counterexample-to-test-generator
将模型检查反例自动转为可执行测试用例
场景模型检查回归测试缺陷复现
@arabelatso
★ 137
获取 ›
coverage-enhancer
分析测试覆盖并生成缺失的单元测试建议
场景测试覆盖单元测试代码质量
@arabelatso
★ 137
获取 ›
cpp-to-dafny-translator
将C/C++代码翻译为可验证的Dafny代码
场景代码迁移形式化验证算法验证
@arabelatso
★ 137
获取 ›
critical-interval-security-checker
检查代码中的时间安全漏洞和超时机制
场景安全审计代码评审上线前检查
@arabelatso
★ 137
获取 ›
cve-reachability-analyzer
分析依赖漏洞的可达性，判断CVE是否可被利用
场景漏洞评估依赖安全上线前检查
@arabelatso
★ 137
获取 ›
cve-watchlist-action-recommendation-generator
将CVE扫描结果转化为按风险排序的修复建议
场景漏洞修复安全审计ci安全门禁
@arabelatso
★ 137
获取 ›