下载

Skill UI

浏览并发现 9978+ 精选技能

全部编程开发人工智能设计创意产品商业数据科学市场营销职场通用效率工具硬件工程语言学习

搜索符号执行，共找到 5 条记录

默认排序最新上传最多下载

多文件协同代码编辑

windsurf-multi-file-editing

jeremylongshore/claude-code-plugins-plus-skills

本技能利用Cascade AI，在Windsurf IDE中执行复杂的、多文件的协同编辑操作。它能够确保在跨文件重构、重命名符号或修改代码时保持操作的原子性和一致性。适用于需要对项目多个文件进行大型、相互依赖的改动场景。

SymPy 符号计算

K-Dense-AI/claude-scientific-skills

提供 SymPy 的符号数学指导，涵盖代数表达式化简、微积分、方程求解、线性代数、物理计算、数论与几何等场景，帮助输出精确符号结果并生成可执行代码。

智能合约漏洞分析工具包

analyzing-ethereum-smart-contract-vulnerabilities

mukul975/Anthropic-Cybersecurity-Skills

本技能用于执行深度的以太坊智能合约安全审计。它结合静态分析（Slither）和符号执行（Mythril）两种方法，旨在检测重入攻击、整数溢出、访问控制等关键漏洞。该过程对于确保智能合约在部署到主网前具备高度安全性和不可篡改性至关重要。

代码混淆与反混淆专家手册

code-obfuscation-deobfuscation

yaklang/hack-skills

本手册提供了识别、分类和破解原生二进制文件中高级代码混淆技术的专家级方法论。内容涵盖了垃圾代码、不透明谓词、自修改代码、控制流平坦化、虚拟机保护器及字符串加密等，指导用户使用符号执行和动态仿真进行反混淆。

符号执行与约束求解专家手册

symbolic-execution-tools

yaklang/hack-skills

本手册提供使用 angr、Z3 和 Unicorn Engine 的符号执行高级技巧。内容涵盖 CTF 挑战自动化、约束求解模式、函数钩挂、内存操作和自定义虚拟机模拟，适用于二进制逆向分析和密钥恢复。

1

语言