Results for “model-checking”
38 skillspreset
Automates Azure OpenAI model deployment by checking capacity across regions and deploying to the best available option.
61
mermaid-to-proverif
Translates Mermaid sequence diagrams of cryptographic protocols into ProVerif formal verification models (.pv files) for proving security properties like secrecy, authentication, and forward secrecy.
6k · bundle
More results
agent-platform-model-registry
Manage machine learning models in the Agent Platform Model Registry: list, describe, upload, update, and delete models and their versions.
14.4k
nemo-automodel-model-onboarding
Guides implementation of new model architectures in NeMo AutoModel through five phases: discovery, implementation, registration, validation, and testing.
2.2k · bundle
model-monitoring
The layers trade timeliness against definitiveness.
2
ml-monitoring
Monitor a live model for data quality, input and prediction drift, performance decay, and fire retraining triggers.
0
benchmark-models
Cross-model benchmark for gstack skills. (gstack)
0
threat-model
Models threats for a service, feature, endpoint, integration, or architecture: assets, attackers, boundaries, flows, and abuse cases.
0 · bundle
detecting-data-and-model-poisoning
Detect poisoned training data and backdoored models across the ML pipeline using statistical analysis, activation clustering, and spectral signatures.
24.6k · bundle
mle-workflow
Turn model work into a production ML system with data contracts, reproducible training, quality gates, deployable artifacts, and monitoring.
0
model-selection
Plan which model tier handles which work BEFORE execution begins — a high-cognition model deeply understands the problem, lays the foundations, then emits a modular plan assigning each module the cheapest tier that can safely execute it, with escalation tripwires and one-way-door protection. Advisory only: it announces "next module → tier X / model Y" at each boundary and the HUMAN switches models — harnesses like Cursor cannot switch mid-run. Load when the user asks which model to use, wants a model plan, model tiers, model-tier routing, assign models to tasks or modules, says "cheap model got stuck", "which model for this task", "cost-efficient model choice", or when implementation-plan / problem-to-plan need a model: tier column. NOT dynamic-routing (plan-path selection after failure) — this skill assigns cognition tiers to work.
3 · bundle
model-evaluation
Every metric encodes an opinion about which mistake hurts.
2
model-research
Research latest Claude models and update selection guide — run when new models drop or periodically to stay current
8 · bundle
ml-modeling
Entrena modelos de machine learning con Scikit-learn, LightGBM y XGBoost, desde un baseline hasta un modelo productivo con validación robusta y explicabilidad.
0 · bundle
mle-workflow
Turns model work into a production ML system with data contracts, reproducible training, quality gates, deployable artifacts, and monitoring.
1
ai-regression-testing
Prevents AI-introduced regressions with sandbox-mode API testing, automated bug-check workflows, and patterns that catch blind spots where the same model writes and reviews code.
226k
mle-workflow
Production machine-learning engineering workflow for data contracts, reproducible training, model evaluation, deployment, monitoring, and rollback. Use when building, reviewing, or hardening ML systems beyond one-off notebooks.
0
model-evaluation
Evaluate model quality with task-appropriate metrics and systematic error analysis. Use when: (1) comparing models, (2) analyzing failures, (3) setting go/no-go thresholds. NOT for: production monitoring implementation.
0
fina-audit-xls
Audit an existing financial model workbook for correctness (formula tracing, hardcode and error detection, sign and consistency checks, tie-outs, and sensitivity stress) before you rely on its outputs.
0
mle-workflow
Production machine-learning engineering workflow for data contracts, reproducible training, model evaluation, deployment, monitoring, and rollback. Use when building, reviewing, or hardening ML systems beyond one-off notebooks.
0
model-version-protocol
Model-trader version compatibility protocol: Embed version metadata in checkpoints, validate at load time. Trigger when: (1) training and live trading versions diverge, (2) models fail to load, (3) action interpretation issues.
3
model-training
Train machine learning models end-to-end, covering data loading, preprocessing, architecture selection, training loops, validation, and checkpointing. Use when the user requests model training or provides relevant inputs for this workflow.
159
oracle
Oracle CLI second-model review/debug/refactor/design with selected files, dry-run token checks, API or browser engine.
0
train-sentence-transformers
Train or fine-tune sentence-transformers models for retrieval, similarity, clustering, classification, and reranking, with support for bi-encoders, cross-encoders, and sparse encoders.
10.8k · bundle
agent-platform-tuning
Fine-tune open models or Gemini models using Agent Platform infrastructure, from environment setup through data preparation, job configuration, monitoring, and deployment.
14.4k · bundle
model-selection
Recommend model families and validation strategy based on data, constraints, and objective. Use when: (1) choosing algorithms, (2) balancing bias/variance, (3) planning benchmark baselines. NOT for: final legal/compliance sign-off.
0
ml-engineering
Enforces rigorous ML modeling, feature engineering, training, and evaluation standards at principal-engineer level.
0
database-model-standards
database-model-standards
1
trak-attributing-model-behavior-at-scale-arxiv-2303-14186v2
TRAK: Attributing Model Behavior at Scale
6
oracle
Use the @steipete/oracle CLI to bundle a prompt plus the right files and get a second-model review (API or browser) for debugging, refactors, design checks, or cross-validation.
2 · bundle
model-interpretability
"Make it interpretable" is four different requests.
2
post-training-workflow
Post-training model validation workflow: gating, backtesting, walk-forward validation, deployment decisions. Trigger after GPU training completes.
3
my
Inspect and adjust the agent's runtime state, including model, context window, iteration limits, token usage, workspace configuration, subagent status, and request routing metadata.
17
model-performance-debugging
Run this before anything else.
2
evaluation
Build evaluation frameworks for agent systems with deterministic checks, regression suites, multi-dimensional rubrics, quality gates, production monitoring, and outcome measurement.
16.9k · bundle
marketingclaw-debugging
Debug MarketingClaw model, provider, tool-surface, code-mode, streaming, and live/Crabbox behavior by choosing the right logs, probes, and proof path before changing code.
0 · bundle