petrapp

Evidence-capture protocol for verifying petra web-UI changes by driving the real app in a browser — page rendering, navigation, view-transition/CSS animations, or anything behind the passkey login. Use when verifying a UI change (the `verify` skill auto-discovers verifier-* skills), or directly when asked to confirm a front-end change works in the running app. Covers the headless Playwright + virtual-WebAuthn recipe, its limits (no cross-document view transitions headlessly), the WebKit technique for iOS-Safari bugs, and on-device verification.

Database, log, and performance ops against the deployed Petra Fly Machines. Use this skill when the user asks to run a query, read logs, capture a profile, snapshot the database, or otherwise inspect/mutate a deployed environment. Handles waking the scale-to-zero instance, defaults to production with explicit safety steps for writes.