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.
The English summary is being prepared. Showing the original description.
WWresearch/lamport-proof☆ 22Updated Sep 7, 2026
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.
The English summary is being prepared. Showing the original description.
bovinphang/frontend-craft☆ 22Updated Sep 26, 2026
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".
The English summary is being prepared. Showing the original description.
joaquimscosta/arkhe-claude-plugins☆ 21Updated Oct 16, 2026
Expert in combinatorics, graph theory, discrete probability, and algorithms with applications to computer science
The English summary is being prepared. Showing the original description.
sandraschi/advanced-memory-mcp☆ 20Updated Oct 13, 2026
Analyze volunteer management platforms for skill-based matching algorithms, shift scheduling optimization, availability tracking, and retention analysis.
The English summary is being prepared. Showing the original description.
tinh2/skills-hub-registry☆ 20Updated Sep 5, 2026
Audit workforce scheduling systems for labor optimization and compliance. Triggers: you need to evaluate labor demand forecasting accuracy, shift generation and optimization algorithms.
The English summary is being prepared. Showing the original description.
tinh2/skills-hub-registry☆ 20Updated Sep 5, 2026
Analyze vehicle routing and fleet optimization systems for route planning algorithms, multi-stop sequencing, time window constraints, and last-mile delivery performance.
The English summary is being prepared. Showing the original description.
tinh2/skills-hub-registry☆ 20Updated Sep 5, 2026
Audit adaptive learning and student personalization systems for pedagogical quality. Triggers: you need to evaluate learning path algorithms (branching, remediation, acceleration).
The English summary is being prepared. Showing the original description.
tinh2/skills-hub-registry☆ 20Updated Sep 5, 2026
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.
The English summary is being prepared. Showing the original description.
tinh2/skills-hub-registry☆ 20Updated Sep 5, 2026
Audit academic peer review operations -- reviewer matching algorithms, conflict of interest detection, turnaround time optimization, review quality scoring, and editorial workflow management..
The English summary is being prepared. Showing the original description.
tinh2/skills-hub-registry☆ 20Updated Sep 5, 2026
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.
The English summary is being prepared. Showing the original description.
tinh2/skills-hub-registry☆ 20Updated Sep 5, 2026
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.
The English summary is being prepared. Showing the original description.
tinh2/skills-hub-registry☆ 20Updated Sep 5, 2026
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).
The English summary is being prepared. Showing the original description.
tinh2/skills-hub-registry☆ 20Updated Sep 5, 2026
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.
The English summary is being prepared. Showing the original description.
tinh2/skills-hub-registry☆ 20Updated Sep 5, 2026
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..
The English summary is being prepared. Showing the original description.
tinh2/skills-hub-registry☆ 20Updated Sep 5, 2026
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'.
The English summary is being prepared. Showing the original description.
tinh2/skills-hub-registry☆ 20Updated Sep 5, 2026
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..
The English summary is being prepared. Showing the original description.
tinh2/skills-hub-registry☆ 20Updated Sep 5, 2026
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.
The English summary is being prepared. Showing the original description.
tinh2/skills-hub-registry☆ 20Updated Sep 5, 2026
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..
The English summary is being prepared. Showing the original description.
tinh2/skills-hub-registry☆ 20Updated Sep 5, 2026
SEO fundamentals, E-E-A-T, Core Web Vitals, and Google algorithm principles.
The English summary is being prepared. Showing the original description.
umairinayat/Specter-AI☆ 19Updated Sep 29, 2026
AI公司首席法务官技能包。合同治理、知识产权保护、AI专项法务(算法审计/AIGC合规/数据供应链)。覆盖GDPR/CCPA跨境数据合规,新增AI伦理委员会架构、合规分级目标、数据保护双线接口、AIGC内容合规审查链。
The English summary is being prepared. Showing the original description.
CSlawyer1985/legal-skillhub☆ 19Updated Sep 23, 2026
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).
The English summary is being prepared. Showing the original description.
TheMostlyGreat/mythos☆ 19Updated Jun 14, 2026
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.
The English summary is being prepared. Showing the original description.
modbender/skill-library-mcp☆ 17Updated Sep 28, 2026
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.
The English summary is being prepared. Showing the original description.
manu14357/zskills☆ 16Updated Jul 24, 2026