Dimensional Analysis
Plugin Verifiziert AktivAnnotates 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.
To enhance code quality and prevent bugs by automatically annotating codebases with dimensional analysis information, ensuring unit consistency and detecting arithmetic errors.
Funktionen
- 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
Anwendungsfälle
- 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
Nicht-Ziele
- 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.
Installation
Zuerst Marketplace hinzufügen
/plugin marketplace add trailofbits/skills/plugin install dimensional-analysis@trailofbitsQualitätspunktzahl
VerifiziertVertrauenssignale
Ähnliche Erweiterungen
Context7 Plugin
100Upstash Context7 MCP-Server für die Abfrage aktueller Dokumentationen. Ruft versionsspezifische Dokumentationen und Codebeispiele direkt aus Quell-Repositories in den LLM-Kontext.
Plannotator Copilot
99Interactive Plan & Code Review for GitHub Copilot CLI. Visual annotations, team sharing, structured feedback.
C4 Architecture
99Comprehensive C4 architecture documentation workflow with bottom-up code analysis, component synthesis, container mapping, and context diagram generation
Ruflo Knowledge Graph
99Knowledge graph construction — entity extraction, relation mapping, and pathfinder graph traversal
Framework Migration
99Framework updates, migration planning, and architectural transformation workflows
Andrej Karpathy Skills
99Verhaltensrichtlinien zur Reduzierung gängiger LLM-Codierungsfehler, abgeleitet von Andrej Karpathys Beobachtungen zu LLM-Codierungsschwierigkeiten