跳转到主要内容
此内容尚未提供您的语言版本,正在以英文显示。

Dimensional Analysis

插件 已验证 活跃

Annotates codebases with dimensional analysis comments documenting units, dimensions, and decimal scaling. Use when someone asks to annotate units in a codebase, perform a dimensional analysis, or find vulnerabilities in a DeFi protocol. Prevents dimensional mismatches and catches formula bugs early.

1 个 Skill 0 个 MCP
目的

To enhance code quality and prevent bugs by automatically annotating codebases with dimensional analysis information, ensuring unit consistency and detecting arithmetic errors.

功能

  • Automated dimensional vocabulary discovery
  • Codebase scanning for arithmetic relevance
  • Annotation of variables, constants, and function signatures
  • Propagation of dimensions through code
  • Validation of dimensional consistency and bug detection

使用场景

  • Annotating DeFi protocols with units and scaling factors
  • Performing dimensional analysis on financial or scientific code
  • Preventing unit mismatches and precision loss bugs
  • Auditing complex arithmetic logic for correctness

非目标

  • Replacing compiler type checking for units
  • Performing full functional correctness checks
  • Analyzing non-numeric code or non-arithmetic logic

Trust

  • info:Issues Attention13 issues opened and 4 closed in the last 90 days indicates a closure rate of approximately 24%, suggesting maintainers respond slowly to open issues.

安装

请先添加 Marketplace

/plugin marketplace add trailofbits/skills
/plugin install dimensional-analysis@trailofbits

质量评分

已验证
99 /100
about 15 hours ago 分析

信任信号

最近提交3 days ago
星标5.2k
许可证CC-BY-SA-4.0
状态
查看源代码