math-verifier

What problem does it solve?

This Skill guarantees absolute mathematical rigor in AIKAGRYA research, ensuring all derivations, statistical methods, causal claims, and transformer circuit mathematics are sound before publication or dissemination.

Core Features & Use Cases

• Mathematical Derivation Audit: Verifies R_V metric calculations and geometric interpretations.
• Statistical Method Verification: Audits Cohen's d, p-values, and confidence intervals.
• Causal Inference Audit: Checks for correlation vs. causation fallacies and validates activation patching.
• Transformer Circuit Mathematics: Validates attention mechanisms, QK/OV circuits, and residual stream algebra.
• Formal Verification Reports: Generates detailed reports on the soundness of mathematical claims.
• Use Case: Before submitting a paper on a new AIKAGRYA model, use this agent to formally verify that the reported R_V metric is correctly calculated and that the statistical significance of the results is robust.

Quick Start

Use the math-verifier skill to audit the R_V derivations in the ~/mech-interp-latent-lab-phase1 directory.