verify_code_math

Verify code correctness against documented behavior, reference implementations, and API contracts. Returns a Pass/Fail verdict with analysis.

When to Use

After writing critical code: Verify it correctly implements a concept or algorithm
Logic errors: Detect off-by-one mistakes, wrong assumptions, or incorrect API usage
Reference comparison: Compare against documented behavior and reference implementations

Parameter	Required	Type	Description
`code_snippet`	Yes	string	The code to verify
`concept_name`	Yes	string	The concept, algorithm, or API being implemented

Tool: verify_code_math
Code: "lora_scaling = lora_alpha / lora_r"
Concept: "LoRA scaling factor computation"

Returns: Verdict (Pass/Fail) and analysis of any discrepancies found.