下载

Skill UI

浏览并发现 9688+ 精选技能

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

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

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

多文件协同代码编辑

windsurf-multi-file-editing

jeremylongshore/claude-code-plugins-plus-skills

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

SymPy 符号计算

K-Dense-AI/claude-scientific-skills

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

现代UI/UX指南

oiloil-ui-ux-guide

davepoon/buildwithclaude

提供面向现代、简洁界面的可执行UI/UX指导与评审清单，聚焦CRAP原则、任务优先、信息架构、反馈状态、一致性与精炼图标，避免冗余文案与表情符号。

以太坊智能合约漏洞分析

analyzing-ethereum-smart-contract-vulnerabilities

mukul975/Anthropic-Cybersecurity-Skills

利用Slither与Mythril对Solidity源码进行静态与符号执行分析，甄别重入、整数溢出等风险，并输出分级审计报告供安全团队和SOC验证防护。

SymPy 符号计算

K-Dense-AI/scientific-agent-skills

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

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

code-obfuscation-deobfuscation

yaklang/hack-skills

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

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

symbolic-execution-tools

yaklang/hack-skills

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

1

语言