{"slug":"deonmenezes-program-analysis","source_name":"deonmenezes/program-analysis","name":"Deonmenezes/Program Analysis","description":"Use ast_grep_scan, source_sink_scan, and smt_check_reachability (mantis_program_analysis MCP server) to move a candidate toward a proven-reachable finding","version":1,"lift":{"pass_rate_delta_pts":40.91,"pass_rate_pct":81.8,"total_cases":22,"passed_cases":18,"tokens_delta_pct":-19.2,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-08-19T03:17:29.091149+00:00"},"skill_score":0.8182,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":40.91,"with_pass_pct":81.8,"without_pass_pct":40.9,"tokens_delta_pct":-19.2,"turns_delta_pct":0,"total_cases":22,"cases_aggregated":18,"verdict":"mixed","never_hurt":false,"completed_at":"2026-08-19T03:17:29.091149+00:00","run_id":"71d3e35a-df53-4866-9eb3-5193337b1bdd","latest_attempt":{"id":"71d3e35a-df53-4866-9eb3-5193337b1bdd","runner_model":"gemini-3.6-flash","overall_verdict":"mixed","completed_at":"2026-08-19T03:17:29.091149+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":"Apache-2.0","install_count":0,"total_uses":0,"total_users":0,"manifest_hash":"3d4423bfd746cc0728cf73735fa783db55d6e3ec7ed915f796435e25c169f2b2","install_name":"deonmenezes-program-analysis","version_id":"fc0f7723-7fbf-412f-a42f-ffd50ee12198","body_sha256":"3d4423bfd746cc0728cf73735fa783db55d6e3ec7ed915f796435e25c169f2b2","render_hash":"835e3c8e23fd564e1b29f654693f38f43ba330d5f767c726f952fcae4f63c3d6","raw_url":"https://app.decimal.ai/s/deonmenezes-program-analysis/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/deonmenezes-program-analysis"}