Audit an existing mathematical, logical, algorithmic, or technical proof from its stated conclusion backward as a bounded AND/OR graph of exact obligations. Use to reconstruct conclusion dependencies, determine whether a proof-supplied route establishes the conclusion, or expose hidden assumptions, unmet side conditions, cycles, overly strong steps, or silent route switches. For a source-mapped Lamport rendering use convert-lamport, and for forward hierarchy, construct, and scope conformance use forward-lamport before this skill. This does not decide full theorem-level entailment by searching for a different proof; do not turn the audit into a linear reversed proof, exhaustive proof search, or replacement proof.
中文简介正在准备中。当前显示原文说明。
WWresearch/lamport-proof☆ 222026年9月7日 更新
Use when behavior-preserving frontend refactoring focuses on record, collection, value, responsibility, delegation, or algorithm boundaries, and the selected technique needs family-specific mechanics, risks, and JavaScript/TypeScript/React/Vue adaptation.
中文简介正在准备中。当前显示原文说明。
bovinphang/frontend-craft☆ 222026年9月26日 更新
Explains complex code through clear narratives, visual diagrams, and step-by-step breakdowns. Use when user asks to explain code, understand algorithms, analyze design patterns, wants code walkthroughs, or mentions "explain this code", "how does this work", "code breakdown", or "understand this function".
中文简介正在准备中。当前显示原文说明。
joaquimscosta/arkhe-claude-plugins☆ 212026年10月16日 更新
Expert in combinatorics, graph theory, discrete probability, and algorithms with applications to computer science
中文简介正在准备中。当前显示原文说明。
sandraschi/advanced-memory-mcp☆ 202026年10月13日 更新
Analyze volunteer management platforms for skill-based matching algorithms, shift scheduling optimization, availability tracking, and retention analysis.
中文简介正在准备中。当前显示原文说明。
tinh2/skills-hub-registry☆ 202026年9月5日 更新
Audit workforce scheduling systems for labor optimization and compliance. Triggers: you need to evaluate labor demand forecasting accuracy, shift generation and optimization algorithms.
中文简介正在准备中。当前显示原文说明。
tinh2/skills-hub-registry☆ 202026年9月5日 更新
Analyze vehicle routing and fleet optimization systems for route planning algorithms, multi-stop sequencing, time window constraints, and last-mile delivery performance.
中文简介正在准备中。当前显示原文说明。
tinh2/skills-hub-registry☆ 202026年9月5日 更新
Audit adaptive learning and student personalization systems for pedagogical quality. Triggers: you need to evaluate learning path algorithms (branching, remediation, acceleration).
中文简介正在准备中。当前显示原文说明。
tinh2/skills-hub-registry☆ 202026年9月5日 更新
Audit warehouse flow design and material movement -- evaluate pick path optimization algorithms, ABC velocity-based slotting compliance, zone configuration and boundary balancing, conveyor merge point and sortation system capacity, wave planning logic.
中文简介正在准备中。当前显示原文说明。
tinh2/skills-hub-registry☆ 202026年9月5日 更新
Audit academic peer review operations -- reviewer matching algorithms, conflict of interest detection, turnaround time optimization, review quality scoring, and editorial workflow management..
中文简介正在准备中。当前显示原文说明。
tinh2/skills-hub-registry☆ 202026年9月5日 更新
Audit public sector and government resource allocation systems for budget optimization algorithms (zero-based, incremental, performance-based), service demand forecasting (ARIMA, Prophet, regression), equity-based distribution scoring (CDC SVI, environmental justice indices.
中文简介正在准备中。当前显示原文说明。
tinh2/skills-hub-registry☆ 202026年9月5日 更新
Analyze mental health clinic and therapy practice software including appointment scheduling optimization with no-show backfill, therapist-client matching algorithms (specialization, modality, caseload balance), session documentation workflows (SOAP, DAP, BIRP templates).
中文简介正在准备中。当前显示原文说明。
tinh2/skills-hub-registry☆ 202026年9月5日 更新
Analyze medication adherence and management platforms including dose tracking accuracy (MPR, PDC metrics), drug-drug and drug-food interaction checking completeness, refill prediction algorithms, dosage schedule optimization with conflict detection.
中文简介正在准备中。当前显示原文说明。
tinh2/skills-hub-registry☆ 202026年9月5日 更新
Evaluate elder care fall risk prediction systems including wearable sensor integration, gait and balance analytics, risk scoring algorithms, environmental hazard detection, medication interaction flagging, mobility trend tracking, and alert/response workflow effectiveness.
中文简介正在准备中。当前显示原文说明。
tinh2/skills-hub-registry☆ 202026年9月5日 更新
Audit legal case prediction systems for bias, fairness, accuracy, and ethical guardrails. Use when: 'check my prediction model for bias', 'audit case outcome fairness', 'evaluate legal ML model', 'review sentencing prediction ethics', 'analyze bail risk algorithm', 'fairness metrics for justice system AI'.
中文简介正在准备中。当前显示原文说明。
tinh2/skills-hub-registry☆ 202026年9月5日 更新
Audit precision agriculture and crop management software for yield prediction model accuracy, soil analysis integration, irrigation optimization algorithms, pest and disease detection pipelines, satellite and drone imagery processing, weather data integration.
中文简介正在准备中。当前显示原文说明。
tinh2/skills-hub-registry☆ 202026年9月5日 更新
Analyzes affordable housing management software for unit allocation algorithms, waitlist management, income verification workflows, Fair Housing compliance, LIHTC and Section 8 program tracking, inspection scheduling, and tenant reporting..
中文简介正在准备中。当前显示原文说明。
tinh2/skills-hub-registry☆ 202026年9月5日 更新
Audit credit risk modeling software for scoring algorithm accuracy, regulatory compliance (ECOA, FCRA, SR 11-7), bias and disparate impact testing, model governance lifecycle, and explainability..
中文简介正在准备中。当前显示原文说明。
tinh2/skills-hub-registry☆ 202026年9月5日 更新
Audit emergency and crisis triage systems for call prioritization accuracy, resource dispatching algorithm quality, severity classification model evaluation, response time optimization, geographic coverage analysis, mutual aid protocol readiness, and post-incident review workflows..
中文简介正在准备中。当前显示原文说明。
tinh2/skills-hub-registry☆ 202026年9月5日 更新
SEO fundamentals, E-E-A-T, Core Web Vitals, and Google algorithm principles.
中文简介正在准备中。当前显示原文说明。
umairinayat/Specter-AI☆ 192026年9月29日 更新
AI公司首席法务官技能包。合同治理、知识产权保护、AI专项法务(算法审计/AIGC合规/数据供应链)。覆盖GDPR/CCPA跨境数据合规,新增AI伦理委员会架构、合规分级目标、数据保护双线接口、AIGC内容合规审查链。
中文简介正在准备中。当前显示原文说明。
CSlawyer1985/legal-skillhub☆ 192026年9月23日 更新
Explore and debate options with fresh documentation and research before committing. Use when facing a real decision with multiple plausible approaches — library/framework choice, architecture call, API or schema design, algorithm selection, or any communication / strategy call where being wrong has cost. Enumerates relevant research domains, looks up current docs and evidence-based methods, weighs options on correctness and elegance, resists bloat. Do NOT use for divergent ideation (brainstorm), extracting user intent (elicit), or reviewing already-written code (quality-review).
中文简介正在准备中。当前显示原文说明。
TheMostlyGreat/mythos☆ 192026年6月14日 更新
Design and implement adaptive testing systems using Item Response Theory (IRT). Use when working with computerized adaptive tests (CAT), psychometric assessment, ability estimation, question calibration, test design, or IRT models (1PL/2PL/3PL). Covers test algorithms, stopping rules, item selection strategies, and practical implementation patterns for K-12, certification, placement, and diagnostic assessments.
中文简介正在准备中。当前显示原文说明。
modbender/skill-library-mcp☆ 172026年9月28日 更新
Comprehensive guide for creating software diagrams using Mermaid syntax. Use when users need to create, visualize, or document software through diagrams including class diagrams (domain modeling, object-oriented design), sequence diagrams (application flows, API interactions, code execution), flowcharts (processes, algorithms, user journeys), entity relationship diagrams (database schemas), C4 architecture diagrams (system context, containers, components), state diagrams, git graphs, pie charts, gantt charts, or any other diagram type. Triggers include requests to "diagram", "visualize", "model", "map out", "show the flow", or when explaining system architecture, database design, code structure, or user/application flows.
中文简介正在准备中。当前显示原文说明。
manu14357/zskills☆ 162026年7月24日 更新