{"slug":"trailofbits-writing-lean-proofs","source_name":"trailofbits/writing-lean-proofs","name":"Trailofbits/Writing Lean Proofs","description":"Writes and reviews structured Lean 4 proofs and designs Lean libraries following Mathlib conventions. Use when proving theorems in Lean, formalizing mathematics or specifications in Lean 4, defining new types or definitions in a Lean library, reviewing Lean proofs for readability and maintainability, refactoring long tactic proofs into lemmas, filling in sorry placeholders in a Lean development, setting up CI or linters for a Lean project, diagnosing slow proofs or maxHeartbeats timeouts, or wri","version":1,"lift":{"pass_rate_delta_pts":9.09,"pass_rate_pct":86.4,"total_cases":22,"passed_cases":19,"tokens_delta_pct":110.1,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-08-29T04:24:58.180059+00:00"},"skill_score":0.8636,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":9.09,"with_pass_pct":86.4,"without_pass_pct":77.3,"tokens_delta_pct":110.1,"turns_delta_pct":0,"total_cases":22,"cases_aggregated":22,"verdict":"mixed","never_hurt":false,"completed_at":"2026-08-29T04:24:58.180059+00:00","run_id":"18692b17-b45e-4639-8b5d-794db8dda0fe","latest_attempt":{"id":"18692b17-b45e-4639-8b5d-794db8dda0fe","runner_model":"gemini-3.6-flash","overall_verdict":"mixed","completed_at":"2026-08-29T04:24:58.180059+00:00","gate":null},"version_number":1,"is_latest_version":true,"gate":null}],"trust":{"skill_safety":"passed","safety_status":"clean","intent_verdict":"safe","content_status":"clean","indexable":true},"license":"CC-BY-SA-4.0","install_count":0,"total_uses":0,"total_users":0,"manifest_hash":"17032f19c68548bce21b77fd20a95c545619c24eca2ed2f7ecf3c51ecffae9d7","install_name":"trailofbits-writing-lean-proofs","version_id":"3c5ffd6d-efaf-4917-9b63-ed2bbdee7a62","body_sha256":"17032f19c68548bce21b77fd20a95c545619c24eca2ed2f7ecf3c51ecffae9d7","render_hash":"02da904c62bad848436bf8716535d4a84c770d05e2ae927ab47763eb818313de","raw_url":"https://app.decimal.ai/s/trailofbits-writing-lean-proofs/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/trailofbits-writing-lean-proofs"}