Coding & Dev Tools

Estrutura o requerimento e a estrategia de provas no rito comum (CPC 369-484): documental (434+), testemunhal (rol, ate 10 — 357 §6/450-457), pericial (464-480 — quesitos e assistente tecnico), depoimento pessoal (385-388), inspecao judicial. Trata o onus da prova (373) e a vedacao a prova ilicita (369 + CF 5 LVI). Use quando o operador disser provas, requerer provas, rol de testemunhas, pericia, quesitos, depoimento pessoal, prova documental, prova emprestada, ou montar a estrategia probatoria do caso.

Redige acao de cobranca pelo rito comum (quando nao ha prova escrita) ou acao monitoria (CPC 700-702 - prova escrita SEM eficacia de titulo executivo): cheque prescrito, nota promissoria sem forca, contrato sem aceite. Mandado de pagamento + honorarios 5% (701); embargos ao mandado (702); prazos prescricionais (CC 206). Use quando o operador disser cobrar divida, acao de cobranca, monitoria, cheque prescrito, nota promissoria sem forca, ou contrato sem titulo executivo.

Avalia riscos e oportunidades do caso civel e sugere os proximos passos processuais. Pondera probabilidade de exito, onus da prova, custos/beneficios de acordo x litigio, momento de tutela de urgencia, escolha de pedidos e de via (conhecimento x cumprimento), e calibra a postura. Use quando o operador disser qual a estrategia, vale a pena recorrer, devo fazer acordo, quais os riscos, proximo passo, ou pedir analise estrategica do caso.

Argui impedimento (CPC 144, hipoteses objetivas I a IX) ou suspeicao (CPC 145, amizade intima/inimizade, presente/aconselhamento, credor/devedor, interesse no julgamento — I a IV) do juiz, em peticao especifica no prazo de 15 dias do conhecimento do fato (CPC 146), que o juiz reconhece ou remete ao tribunal — efeito suspensivo declarado pelo relator (146 §2), extensiva a MP, auxiliares da justica e demais sujeitos imparciais (CPC 148). Use quando o operador disser suspeicao, impedimento do juiz, juiz parcial, recusar o juiz, excecao de suspeicao, juiz amigo da parte contraria.

Redige pedido de gratuidade da justica (CPC 98-102) e impugnacao a gratuidade da parte contraria. Trata a diferenca PF x PJ: pessoa fisica tem presuncao relativa (CPC 99 §3); pessoa juridica deve PROVAR a insuficiencia (Sumula 481/STJ). Use ao requerer ou impugnar justica gratuita, ao analisar declaracao de hipossuficiencia, quando o operador disser pedir gratuidade, justica gratuita, hipossuficiencia, impugnar a gratuidade do autor, beneficio da assistencia. Acionada pelo civel-master na gestao processual transversal.

Redige a impugnacao ao cumprimento de sentenca (CPC 525) — defesa do executado em titulo JUDICIAL, no prazo de 15 dias apos os 15 do art. 523 e independentemente de penhora, com as hipoteses do §1 (I-VII: nulidade de citacao, ilegitimidade, inexigibilidade, penhora/avaliacao, excesso de execucao, incompetencia, causa extintiva superveniente), dever de declarar o valor correto sob pena de rejeicao (§4-5) e efeito suspensivo so com garantia + grave dano (§6). Use quando o operador disser impugnar cumprimento, impugnacao ao cumprimento de sentenca, excesso de execucao, defender de cumprimento de sentenca, executado quer se defender de sentenca.

Redige o agravo do CPC 1.042 contra a decisao que INADMITE REsp ou RE na origem (salvo inadmissao por repercussao geral/repetitivo, caso em que cabe agravo interno) e os embargos de divergencia do CPC 1.043-1.044 (acordao de orgao fracionario do STJ/STF divergente). Use quando o operador disser agravo em recurso especial/extraordinario, agravo do 1.042, REsp/RE inadmitido, nao subiu o recurso, embargos de divergencia, divergencia entre turmas do STJ/STF.

High-performance RLHF framework with Ray+vLLM acceleration. Use for PPO, GRPO, RLOO, DPO training of large models (7B-70B+). Built on Ray, vLLM, ZeRO-3. 2× faster than DeepSpeedChat with distributed architecture and GPU resource sharing.

High-level PyTorch framework with Trainer class, automatic distributed training (DDP/FSDP/DeepSpeed), callbacks system, and minimal boilerplate. Scales from laptop to supercomputer with same code. Use when you want clean training loops with built-in best practices.

High-performance RLHF framework with Ray+vLLM acceleration. Use for PPO, GRPO, RLOO, DPO training of large models (7B-70B+). Built on Ray, vLLM, ZeRO-3. 2× faster than DeepSpeedChat with distributed architecture and GPU resource sharing.

Expert guidance for fine-tuning LLMs with LLaMA-Factory - WebUI no-code, 100+ models, 2/3/4/5/6/8-bit QLoRA, multimodal support

Language-independent tokenizer treating text as raw Unicode. Supports BPE and Unigram algorithms. Fast (50k sentences/sec), lightweight (6MB memory), deterministic vocabulary. Used by T5, ALBERT, XLNet, mBART. Train on raw text without pre-tokenization. Use when you need multilingual support, CJK languages, or reproducible tokenization.

---

Adds PyTorch FSDP2 (fully_shard) to training scripts with correct init, sharding, mixed precision/offload config, and distributed checkpointing. Use when models exceed single-GPU memory or when you need DTensor-based sharding with DeviceMesh.

Provides guidance for training and analyzing Sparse Autoencoders (SAEs) using SAELens to decompose neural network activations into interpretable features. Use when discovering interpretable features, analyzing superposition, or studying monosemantic representations in language models.

Use this skill when a driver needs to move a CMV within a yard, terminal, or property under § 395.8 yard-move provisions. Covers what counts as yard move, ELD configuration, and where yard move ends and on-duty driving begins.

Use this skill when the user asks about state-specific trucking taxes BEYOND IFTA — NY Highway Use Tax (HUT), KY Kentucky Intrastate Tax (KIT), Oregon Weight-Mile Tax, New Mexico Weight-Distance Tax, Connecticut Highway Use Fee, or other state-level road-use taxes for commercial vehicles. Covers thresholds, rates, registration, filing cadence, and how these differ from IFTA. Reference state DOT/DOR resources.

Use this skill when the user asks about CDL driver medical certification — 49 CFR 391.41-49 medical qualifications, medical examiner's certificate (Long Form 5876 + Short Form 5875), National Registry of Certified Medical Examiners (NRCME), medical restrictions, federal disqualifying conditions, exemption programs (vision, diabetes, hearing), the FMCSA Medical Examiner's Handbook, or what to do when a driver's medical cert is downgraded. Cite specific 49 CFR 391 sections.

Use this skill when the user asks about logging / log hauling operations — short-haul exemption specifics for logging, log truck securement, axle weights, state-by-state logging permits (especially OR, WA, ID, BC), bunk + stake configurations, and how logging fits into FMCSA + state rules. Reference 49 CFR 393 for cargo securement of logs.

Use this skill to differentiate IFTA (fuel tax) and IRP (apportioned registration). Covers what each is for, deadlines, and how they interact.

Use this skill when the user asks about FMCSA financial assistance + grants — Motor Carrier Safety Assistance Program (MCSAP), High Priority Grants, CMV Operator Apprenticeship Program (CMV-DAP), workforce development funding, hazmat preparedness grants, small carrier financial relief, and state-level grants for trucking infrastructure. Reference fmcsa.dot.gov/grants.

Use this skill when the user asks about workers compensation for trucking — required by state law, classification of drivers, premium calculation (rate × experience modifier × payroll), Common Claim types in trucking, returning injured drivers to work, claims management, premium reduction strategies, and the difference between WC and Occupational Accident insurance for owner-operators. Reference state WC laws + IFTA / fleet insurance.

Use this skill when a driver believes an inspection was conducted improperly. Covers how to request re-inspection, when state agencies will honor it, and what to expect.

Use this skill when selecting a Consortium/Third-Party Administrator (C/TPA) for drug + alcohol testing program management. Covers what services they provide, what to look for, and red flags.

Use this skill when the user asks about truck purchase financing, leasing options, factoring, fuel surcharge math, lease-purchase agreements, the total-cost-of-ownership (TCO) comparison between buying + leasing, and how owner-operators finance their first truck. Cover Section 179 + Bonus Depreciation tax treatment.

Use this skill when managing post-SAP follow-up testing for a driver. Covers the testing cadence, recordkeeping, what happens if a test is missed, and how to transition the schedule to a new employer.

Use this skill when the user asks how to design or improve a fleet safety scorecard — what KPIs to track, how to weight them, telematics signals vs document compliance vs roadside outcomes, monthly cadence, driver-facing vs admin-facing dashboards, gamification considerations, peer-comparison metrics, and how a scorecard ties to insurance premiums + retention. Reference SMS Methodology v3.20 for industry-standard weights.

Use this skill when selecting a TPR-registered Training Provider for behind-the-wheel ELDT training. Covers the registry, evaluation criteria, and common pitfalls.

Diátaxis

Create, name, scope, assign, and close GitHub milestones. Use when adding a milestone, deciding whether work belongs in one, or naming the next one. One axis per project (release / date / theme); never as labels.

Create a README.md file for the project

Triage and resolve Arch Linux issues with pacman, systemd, and rolling-release best practices.

Refactor given method `${input:methodName}` to reduce its cognitive complexity to `${input:complexityThreshold}` or below, by extracting helper methods.

This skill guides the simultaneous measurement of serum and urine osmolarity to evaluate polyuria for central diabetes insipidus. It is triggered when a patient presents with polyuria exceeding 50 mL/kg/24 hours or 3.5 L/day in a 70‑kg individual.

This skill guides clinicians to assess whether a patient has achieved ≥5% weight loss at 3 months while on a weight‑loss medication and to determine continuation versus discontinuation based on efficacy and safety. It is triggered when a clinician asks, 'Has this patient lost enough weight at 3 months to continue lorcaserin?' or 'Should I stop phentermine/topiramate because the patient lost only 3% of body weight?'.

Determines levothyroxine dosing for central hypothyroidism to achieve serum free T4 in the mid to upper half of the reference range. Triggers include confirmed central hypothyroidism requiring thyroid hormone replacement when initiating L‑4 therapy.