{"slug":"aris-proof-writer","source_name":"aris-proof-writer","name":"Aris Proof Writer","description":"Writes rigorous mathematical proofs for ML/AI theory. Use when asked to prove a theorem, lemma, proposition, or corollary, fill in missing proof steps, formalize a proof sketch, 补全证明, 写证明, 证明某个命题, or determine whether a claimed proof can actually be completed under the stated assumptions.","version":1,"lift":{"pass_rate_delta_pts":32,"pass_rate_pct":36,"total_cases":25,"passed_cases":9,"tokens_delta_pct":68.9,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-07-31T02:07:09.978946+00:00"},"skill_score":0.36,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":32,"with_pass_pct":36,"without_pass_pct":4,"tokens_delta_pct":68.9,"turns_delta_pct":0,"total_cases":25,"cases_aggregated":24,"verdict":"mixed","never_hurt":false,"completed_at":"2026-07-31T02:07:09.978946+00:00","run_id":"57ad479b-72f4-4097-b4dd-2afb25f663fa","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":"9823d6997b88790c5e547f4cd87b284af4d348061efda5b076dcaf7721993561","raw_url":"https://app.decimal.ai/s/aris-proof-writer/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/aris-proof-writer"}