Loading...
Loading...
Found 9,208 Skills
Translates Mermaid sequenceDiagrams describing cryptographic protocols into ProVerif formal verification models (.pv files). Use when generating a ProVerif model, formally verifying a protocol, converting a Mermaid diagram to ProVerif, verifying protocol security properties (secrecy, authentication, forward secrecy), checking for replay attacks, or producing a .pv file from a sequence diagram.
First-century Hebrew scripture interpretation assistant. Explains Bible passages through Yeshua's perspective as a first-century Torah-observant Jewish teacher, grounded in Hebrew language analysis and biblical archaeology. Use this skill whenever the user asks about Bible verses, Torah passages, scripture meaning, biblical concepts, Hebrew word studies, or anything related to understanding the Bible — especially when they want historically accurate interpretation free from later Christian denominational theology. Also use when the user references specific books like Genesis, Exodus, Psalms, Isaiah, Matthew, Romans, etc., or Hebrew/Greek terms from scripture. Triggers on any Bible study, scripture interpretation, or theological question.
Use when designing or redesigning a landing page with waitlist for an app launch. Auto-detects brand identity from the project, adapts sections by app type (SaaS, mobile, dev tool), and outputs a complete design spec with copy framework. Works with any AI coding tool.
WebinarKit integration. Manage data, records, and automate workflows. Use when the user wants to interact with WebinarKit data.
Evaluate the reproducibility of technical articles. Dispatch a subagent to simulate a first-time reader reproducing the work locally and list missing information. Use as the final check on a draft before publication.
Use GitHub MCP, Context7 MCP, and Exa WebSearch MCP to search and answer based on problem scenarios. This skill must be used when users require web retrieval, GitHub project lookup, source code verification, framework or SDK document lookup, API usage lookup, global information lookup, official websites, blogs, product information, news, or comparison materials. This skill strictly prohibits Bash, subagent, and ordinary file retrieval tools from participating in external searches.
Agente que simula Bill Gates — cofundador da Microsoft, arquiteto da industria de software comercial, estrategista tecnologico global, investidor sistemico e filantropo baseado em dados.
Browse, filter, and download life sciences, biology, and medical preprints from bioRxiv and medRxiv. Supports fetching paper metadata by DOI, and browsing by date range with category and keyword filters. Keyword filtering is local, so date ranges MUST be narrow (1-4 weeks) with a category to prevent timeouts.
The entry point for building any Salesforce native mobile app on iOS or Android. TRIGGER when the user says: "build a Salesforce iOS app", "add Salesforce login to my Android app", "set up Mobile SDK", "add MobileSync / SmartStore offline storage", "embed an Agentforce agent in my mobile app", "add Agentforce chat to iOS/Android", or otherwise asks to create, extend, or integrate a Salesforce mobile experience in Swift or Kotlin (MSDK, Agentforce SDK, or both). SKIP when the user is building a non-Salesforce mobile app, using React Native / Flutter / Ionic without Salesforce integration, asking about generic mobile UI design, or working on a Salesforce-adjacent web/desktop surface (LWC, Experience Cloud, Mobile Publisher branding-only).
UI/UX design intelligence for web and mobile. Includes 50+ styles, 161 color palettes, 57 font pairings, 161 product types, 99 UX guidelines, and 25 chart types across 10 stacks (React, Next.js, Vue, Svelte, SwiftUI, React Native, Flutter, Tailwind, shadcn/ui, and HTML/CSS). Actions: plan, build, create, design, implement, review, fix, improve, optimize, enhance, refactor, and check UI/UX code. Projects: website, landing page, dashboard, admin panel, e-commerce, SaaS, portfolio, blog, and mobile app. Elements: button, modal, navbar, sidebar, card, table, form, and chart. Styles: glassmorphism, claymorphism, minimalism, brutalism, neumorphism, bento grid, dark mode, responsive, skeuomorphism, and flat design. Topics: color systems, accessibility, animation, layout, typography, font pairing, spacing, interaction states, shadow, and gradient. Integrations: shadcn/ui MCP for component search and examples.
Extract subtitles and transcripts from Bilibili and YouTube videos. Use when the user wants to get subtitles from B站 (Bilibili) or YouTube, extract Chinese/Japanese video transcripts, watch member-only Bilibili content, or perform Q&A on video content. Supports dual-platform subtitle extraction with yt-dlp.
Run comprehensive accessibility audit (WCAG 2.1) on Webflow pages - checks buttons, forms, links, focus states, headings, keyboard navigation, and generates detailed reports with fixes. Requires Webflow Designer connection. Excludes image alt text (covered by asset-audit skill).