Notebooklm

When a user uploads a file to Claude, you can intelligently detect its type and read it using the appropriate method. Instead of blindly running cat on binary files or loading massive CSVs into context, this skill routes each file type to the right tool, reading only what's needed to answer the user's question. You'll extract text from PDFs, parse structured data from CSVs and JSON, process images, and decompress archives—all without wasting context or producing garbage output.

by seifbenayed

You can perform end-to-end PDF operations including extracting text and metadata from documents, merging multiple PDFs into a single file, splitting PDFs by page ranges, filling fillable forms programmatically, and adding text overlays to non-fillable PDFs. This skill handles both simple read operations and complex document workflows, making it essential for document processing, form automation, and PDF batch operations.

by seifbenayed

You can formally verify mathematical proofs by translating theorems into Lean 4 code, leveraging Mathlib's extensive library of formalized mathematics. The skill guides you through researching existing lemmas, designing proof strategies, testing approaches, implementing formal proofs, and verifying correctness—turning informal mathematical claims into machine-checked theorems without requiring deep Lean syntax expertise.

by parcadei

You get Claude to analyze your API specifications and automatically generate bulletproof parameter validation logic. Claude creates security-hardened middleware, enforces type constraints, detects malicious input patterns, and generates comprehensive error handling — all tailored to your framework and existing codebase. The result is production-ready validation code with zero unvalidated inputs reaching your business logic.

by myriadprotocol

You can design complete REST API specifications from requirements, translating them into resource-oriented endpoint architectures that follow industry best practices. Claude generates OpenAPI 3.0 schemas with validated request/response definitions, ensures correct HTTP method semantics and status code usage, and produces Swagger documentation ready for Swagger UI, ReDoc, or Postman integration. Catch design anti-patterns and naming inconsistencies before implementation.

by myriadprotocol

This skill scans your TypeScript codebase for type safety violations and systematically remediates them. You can automatically remove implicit any types, add comprehensive type annotations to functions and variables, configure strict mode compiler options in tsconfig.json, and receive actionable refactoring guidance with concrete code examples. It's designed for migrating existing projects to strict mode or enforcing strict practices before production deployment.

by myriadprotocol

You can architect and implement production-ready BigCommerce integrations using REST APIs, GraphQL Storefront API, and webhook automation. This skill guides you through API versioning decisions, OAuth authentication flows, rate limit management, multi-storefront channel architecture, and the complete app development lifecycle—from initial authentication setup through deploying integrations that handle real transactional data at scale.

by myriadprotocol

Query your local Screenpipe instance to retrieve screen recordings, audio transcriptions, UI element accessibility trees, keyboard/mouse input logs, and productivity analytics. You can search by keywords, filter by content type (audio, OCR, accessibility, input), set time ranges, and extract structured data about your applications, meetings, and work sessions without sending data to external servers.

by az9713