Dimensional Analysis

Plugin Verified Active

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 MCPs

Purpose

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

Features

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

Use Cases

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

Non-Goals

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

First, add the marketplace

/plugin marketplace add trailofbits/skills

/plugin install dimensional-analysis@trailofbits

Contains 1 extensions

Skill (1)

Dimensional Analysis Skill

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, offchain code, or other blockchain-related codebase with arithmetic. Prevents dimensional mismatches and catches formula bugs early.

Quality Score

Verified

99 /100

Analyzed about 11 hours ago

Trust Signals

Last commit3 days ago

GitHub owner trailofbits

Stars5.2k

LicenseCC-BY-SA-4.0

Status

View Source

Similar Extensions

Context7 Plugin

100

Upstash Context7 MCP server for up-to-date documentation lookup. Pull version-specific documentation and code examples directly from source repositories into your LLM context.

Plugin

upstash

Plannotator Copilot

Interactive Plan & Code Review for GitHub Copilot CLI. Visual annotations, team sharing, structured feedback.

Plugin

backnotprop

C4 Architecture

Comprehensive C4 architecture documentation workflow with bottom-up code analysis, component synthesis, container mapping, and context diagram generation

Plugin

wshobson

Ruflo Knowledge Graph

Knowledge graph construction — entity extraction, relation mapping, and pathfinder graph traversal

Plugin

ruvnet

Framework Migration

Framework updates, migration planning, and architectural transformation workflows

Plugin

wshobson

Andrej Karpathy Skills

Behavioral guidelines to reduce common LLM coding mistakes, derived from Andrej Karpathy's observations on LLM coding pitfalls

Plugin

forrestchang