Search Skills

Maintains persistent memory of proof patterns, failed approaches, and project conventions for Lean 4 formalization projects across sessions using MCP memory server.

Conducts SSH penetration testing including vulnerability assessment, configuration enumeration, and credential brute-forcing.

Comprehensive toolkit for automating PDF document processing, including text extraction, form handling, merging, and splitting for efficient workflow management.

Creates optimized NGINX configuration files for web servers, reverse proxies, load balancing, and SSL termination based on user prompts.

Guides creation of Python packages and setup of a local PyPI server for pip installation, enabling local package distribution and management.

Enables rapid security analysis of network traffic captures (PCAPs) by extracting protocol details through tshark command-line tooling.

Configures Nginx for custom request logging, rate limiting, and static file serving in server blocks.

Programmatically process PDFs: extract text/tables, create, merge, split, and fill forms for document analysis and data extraction.

Queries PubChem database (110M+ compounds) for chemical properties, similarity, and bioactivity via PUG-REST API or PubChemPy.

Automates Google Calendar interactions including event creation, updates, searches, and scheduling queries for streamlined personal time management.

Generates a default Nginx configuration file for serving static content from /usr/share/nginx/html, optimized for standard web server deployment.

Analyzes offline PCAP files with Suricata and validates security events through structured eve.json output.

Automates Word document processing including headers, footers, and nested tables using the python-docx library.

Configures Maven build plugins for Java projects, including standard plugins (compiler, surefire) and custom executions.

Performs DC power flow analysis for transmission networks, including susceptance matrix construction, line flow calculation, and sensitivity analysis.

Expert guidance for OpenSSL operations including certificate generation, key management, and PKI infrastructure setup.

Runs Python ML workloads on cloud GPUs (A100/T4/A10G) via Modal, handling setup, GPU selection, data management, and results for model training.

Provides best practices and workflows for exoplanet detection and characterization from light curve data, including pipeline planning and method selection.

Adds new UI style templates to the ui-style-react project by processing HTML/CSS code, creating preview pages, and registering templates.

Automates identification and resolution of failing tests using intelligent error grouping and systematic fixes.

Generates interactive HTML architecture diagrams illustrating data flows, technical components, and deployment structures for system documentation.

Provides detailed file metadata analysis including size, line counts, modification times, and content statistics without modifying files.

Creates interactive HTML flowcharts with decision trees, color-coded stages, arrows, and swimlanes for visual workflow representation.

Breaks down feature requests into detailed, implementable plans with clear tasks for development teams.