{"slug":"aris-formula-derivation","source_name":"aris-formula-derivation","name":"Aris Formula Derivation","description":"Structures and derives research formulas when the user wants to 推导公式, build a theory line, organize assumptions, turn scattered equations into a coherent derivation, or rewrite theory notes into a paper-ready formula document. Use when the derivation target is not yet fully fixed, the main object still needs to be chosen, or the user needs a coherent derivation package rather than a finished theorem proof.","version":1,"lift":{"pass_rate_delta_pts":46.15,"pass_rate_pct":72.7,"total_cases":22,"passed_cases":16,"tokens_delta_pct":97.2,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-07-28T07:25:17.635553+00:00"},"skill_score":0.6923,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":46.15,"with_pass_pct":69.2,"without_pass_pct":23.1,"tokens_delta_pct":97.2,"turns_delta_pct":0,"total_cases":22,"cases_aggregated":15,"verdict":"mixed","never_hurt":false,"completed_at":"2026-07-28T07:25:17.635553+00:00","run_id":"d14ff773-ba76-42fc-9668-b1d070749e34","version_number":1,"is_latest_version":true,"gate":null}],"trust":{"skill_safety":"passed","safety_status":"clean","intent_verdict":null,"content_status":"clean","indexable":true},"license":"MIT","install_count":0,"manifest_hash":"8a2ff0d3ae1d3e16330e45a2c32e8965f71dbd9c258b63f6b1c75507583a59f1","raw_url":"https://app.decimal.ai/s/aris-formula-derivation/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/aris-formula-derivation"}