下载

Skill UI

浏览并发现 9645+ 精选技能

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

搜索算术，共找到 7 条记录

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

Cairo/StarkNet 漏洞扫描

cairo-vulnerability-scanner

trailofbits/skills

扫描 Cairo/StarkNet 智能合约，识别 felt252 算术、跨层消息、访问控制与签名重放等六种关键漏洞，输出严重度、文件定位与修复建议，助力审计与部署前安全复核。

汇编代码与二进制分析模式

binary-analysis-patterns

sickn33/antigravity-awesome-skills

这是一份全面的技术指南，详细介绍了用于分析编译二进制文件所需的模式和技术。内容涵盖了 x86-64、ARM 等多种架构的汇编基础知识，提供了函数序言、调用约定、控制流（循环、分支）、数据结构访问以及常见算术/字符串操作的实战模式。是进行逆向工程和底层系统编程的必备参考资料。

代码成熟度评估器

code-maturity-assessor

trailofbits/skills

基于Trail of Bits九大类框架，系统评估代码成熟度，涵盖算术安全、访问控制、文档、MEV、测试等，并输出评分卡与改进建议。

Mergekit 模型融合实战

Orchestra-Research/AI-Research-SKILLs

通过 Mergekit 在无需重训的前提下融合多个微调模型，交叉叠加数学、编程与对话能力，涵盖 SLERP、TIES、DARE、任务算术与线性融合，助力快速打造高性能多技能模型并部署。

Substrate 漏洞扫描器

substrate-vulnerability-scanner

trailofbits/skills

系统化扫描 Substrate/Polkadot FRAME 中的 pallet，覆盖算术溢出、panic DoS、权重错误、签名缺失、随机数及来源校验等七类关键漏洞，适用于运行时审计与上线前安全评估。

K-12智能数学导师

01-k12-mathematics

24kchengYe/human-skill-tree

本技能是一个全面的K-12数学辅导系统，覆盖从算术到微积分的知识点。它不只是给答案，而是采用苏格拉底提问、CPA方法等科学教学策略，帮助学生理解数学的底层逻辑，建立真正的数学直觉。支持全球主流教育体系的考试准备和进度跟踪。

高精度数学计算器

Code-and-Sorts/awesome-copilot-agents

该工具用于评估复杂的算术表达式，采用任意精度的小数数学计算，特别适用于金融、科学或工程领域。它能够避免标准浮点数运算导致的精度丢失问题，支持加减乘除、指数和括号运算。

1

语言