benchflow-ai verified
Building open-source Claude skills. 349 skills with 183,468 total stars.
Contributed
349
Total Stars
183.5k
Total Forks
67k
Avg Stars
526
Manage SSL/TLS certificates and diagnose certificate issues. Use when the user says "cert expiring", "SSL error", "certi...
High-performance numerical computing and machine learning workflows using JAX. Supports array operations, automatic diff...
Comprehensive clinical laboratory data harmonization for multi-source healthcare analytics. Convert between US conventio...
Generate and optimize SQL queries for data retrieval and analysis
Transit Least Squares (TLS) algorithm for detecting exoplanet transits in light curves. Use when searching for transitin...
Detect flood events by comparing water levels to thresholds. Use when determining if flooding occurred, counting flood d...
Data validation and pipeline testing utilities for ML training projects. Validates datasets, model checkpoints, training...
Convert PDF documents to Markdown using marker_single. Use when Claude needs to extract text content from PDFs while pre...
This skill should be used when working on Lean 4 formalization projects to maintain persistent memory of successful proo...
Use scipy.optimize.curve_fit for nonlinear least squares parameter estimation from experimental data.
Comprehensive PDF manipulation toolkit for extracting text and tables, creating new PDFs, merging/splitting documents, a...
Use when working with Lean 4 (.lean files), writing mathematical proofs, seeing "failed to synthesize instance" errors,...