Getting it into your agent
One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.
npx skills add GDvega/super-android-kotlin-firebase-skill --skill r8-proguard-optimizationgit clone --depth 1 https://github.com/GDvega/super-android-kotlin-firebase-skillWrote this? Show the measurements
A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.
[](https://agentmods.dev/skills/gdvega/super-android-kotlin-firebase-skill/r8-proguard-optimization)<a href="https://agentmods.dev/skills/gdvega/super-android-kotlin-firebase-skill/r8-proguard-optimization"><img src="https://agentmods.dev/badge/skills/gdvega/super-android-kotlin-firebase-skill/r8-proguard-optimization/github.svg" alt="Measured on agentmods" height="20"></a>Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.
<a href="https://agentmods.dev/skills/gdvega/super-android-kotlin-firebase-skill/r8-proguard-optimization"><img src="https://agentmods.dev/badge/skills/gdvega/super-android-kotlin-firebase-skill/r8-proguard-optimization.svg" alt="Reviewed on agentmods" width="80" height="20"></a>What it costs to keep this loaded
Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5.1 | $0.00035 | $0.00743 |
| Opus 5 | $0.00017 | $0.00371 |
| Sonnet 5 | $0.00007 | $0.00149 |
| Haiku 4.5 | $0.00003 | $0.00074 |
Grade A, and why
r8-proguard-optimization scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 10d ago.
A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.
Nothing flagged
None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.
How it starts
The opening of the file, as written. The whole thing — 107 lines — stays where its author put it; the contents beside it link to each section on GitHub.
Purpose
Fix release-only failures and optimize shrinking without disabling R8 or adding broad unsafe keep rules.
When to use
- App fails only in release builds.
minifyEnabledorshrinkResourcescauses crashes.- Retrofit, serialization, Hilt, Room or Firebase needs targeted keep rules.
- Crashlytics mapping upload must be configured.
Inputs to inspect
app/build.gradle.ktsrelease build typeproguard-rules.proandconsumer-rules.pro- Reflection, serialization and Retrofit converters
- Room entities and Hilt modules
- Firebase and Crashlytics Gradle setup
Required workflow
- Reproduce using release or minified build.
- Read R8 error output and mapping context.
- Add the narrowest keep rule possible.
- Verify release tests or smoke tests.
- Document mapping file handling for Crashlytics.
Rules
- Do not disable R8 as a permanent fix.
- Do not add
-keep class ** { *; }except as a temporary diagnostic. - Prefer library-documented rules and narrow app rules.
- Validate release behavior, not only debug.
- Preserve obfuscation unless debugging requires a temporary change.
Related existing skills
Local skills to invoke
- gradle-build
- play-store-release
- debugging
- firebase-crashlytics-analytics
External companion skills to use when installed
Do not assume these companion skills are installed. Prefer the local skills above first, then consult Companion Skills for install and verification commands.
- android/skills — use for official Android workflow alignment around edge-to-edge, adaptive UI, Navigation 3, R8, AGP or testing setup.
Files commonly touched
app/build.gradle.ktsproguard-rules.proconsumer-rules.procrashlyticsGradle config- Serialization models
- Network and DI setup
Commands to validate
./gradlew assembleRelease
./gradlew app:minifyReleaseWithR8
./gradlew testReleaseUnitTest
Common mistakes to avoid
- Testing only debug after changing R8 rules.
- Adding global keep rules that erase shrinking benefits.
- Forgetting mapping upload for crash reports.
- Ignoring consumer rules in library modules.
What ships with it
7 files beside SKILL.md in the same directory: the scripts, references and assets a skill reads on demand. Not counted in the per-session cost; read them before you install if any of them is executable.
- references/common-keep-rules.md 189 B
- references/firebase-r8-notes.md 201 B
- references/r8-release-checklist.md 199 B
- references/reflection-serialization-rules.md 231 B
- templates/crashlytics-mapping-upload-template.md 121 B
- templates/proguard-rules-template.pro 182 B
- templates/release-buildtype-template.md 144 B
What this file has done since we first saw it
Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.
- 10d ago First seen · 107 lines · 35 tokens per session scan A 3a4d7c34ca21
r8-proguard-optimization is a skill published in the GitHub repository GDvega/super-android-kotlin-firebase-skill (2 stars, last pushed 2mo ago), licensed MIT. It adds 35 tokens to every session and 743 once invoked, about $0.0002 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-31.
Other skills, from other repositories
android-studio
Operational skill for Android Studio: Gradle projects, emulators, Logcat, build variants, signing configs, and AGP troubleshooting.
analyzing-android-malware-with-apktool
Perform static analysis of Android APK malware using apktool for resource decompilation, jadx for Java source recovery, and androguard for manifest inspection, dangerous permission-combination detection, and identification of obfuscated code, dynamic code loading, and reflection-based API calls. Use to statically…
solopi-ai
A command-line framework for testing Android apps and devices with SoloPi, including on-device or cloud AI decision models. It manages devices, test cases, recorded interactions, replays, performance history, and evidence.
argent-tv-interact
Control and inspect TV apps via argent — Apple TV (tvOS), Android TV (leanback), and Amazon Fire TV (Vega). Boot the target, read focus, navigate with the D-pad remote, type, screenshot, and on Vega debug the JS runtime (evaluate, console logs, network inspector). Use when a task targets a TV (runtimeKind "tv", or…
app-store-preflight-compliance
Pre-submission compliance scanner workflow for Apple App Store apps. Use when reviewing iOS, macOS, tvOS, watchOS, or visionOS projects (Swift, Objective-C, React Native, Expo) for App Store rejection risks, submission readiness, privacy compliance, or guideline violations.
ios-slim-bindings
Create iOS slim bindings for MAUI. USE FOR: slim iOS binding, Native Library Interop, Swift/Objective-C wrappers, XcodeGen project.yml, Podfile, CocoaPods static linking, BUILDLIBRARYFORDISTRIBUTION, XcodeProject MSBuild, @objc/[Export] selector crashes, async completion handlers. DO NOT USE FOR: Android bindings…