{"slug":"bilal140202-antigravity-tla-guard","source_name":"bilal140202/antigravity-tla-guard","name":"Bilal140202/Antigravity Tla Guard","description":"Implements formal mathematical verification for Python AI agents. Use when generating agent code like PydanticAI or LangGraph, or when user asks to add TLA+ verification, make the agent safe, prevent hallucinations, or implement antigravity guardrails.","version":1,"lift":{"pass_rate_delta_pts":45.45,"pass_rate_pct":81.8,"total_cases":22,"passed_cases":18,"tokens_delta_pct":-1.3,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-08-08T01:45:20.159217+00:00"},"skill_score":0.8182,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":45.45,"with_pass_pct":81.8,"without_pass_pct":36.4,"tokens_delta_pct":-1.3,"turns_delta_pct":0,"total_cases":22,"cases_aggregated":21,"verdict":"mixed","never_hurt":false,"completed_at":"2026-08-08T01:45:20.159217+00:00","run_id":"4c5f6d4f-e14d-4d96-8227-bf4f336720b7","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":"MIT","install_count":0,"manifest_hash":"773e6302107f064d5578c15b0dd2c94274509bca0d7d27b224d5f5e05ea65c98","raw_url":"https://app.decimal.ai/s/bilal140202-antigravity-tla-guard/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/bilal140202-antigravity-tla-guard"}