home / skills / a5c-ai

a5c-ai skills

Find 1821 skills from 1 repo created by a5c-ai on GitHub.

1 repo
1821 skills
GitHub

Sponsored

stormwater-management

a5c-ai/babysitter

249
This skill enables integrated stormwater design and compliant analysis using SWMM, hydrologic methods, and green infrastructure sizing to optimize urban
thermal-analysis

a5c-ai/babysitter

249
This skill enables comprehensive thermal analysis workflows for materials science, delivering DSC, TGA, DTA, TMA, and DMA insights to drive material decisions.
test-automation

a5c-ai/babysitter

249
This skill automates test equipment control and data acquisition to enable repeatable hardware validation with integrated uncertainty analysis.
reliability-analysis

a5c-ai/babysitter

249
This skill predicts and analyzes component and system reliability, enabling MTBF/MTTF calculations, FMEA support, and life data insights for robust designs.
membrane-system-design

a5c-ai/babysitter

249
This skill helps design membrane filtration systems for water treatment, performing process selection, flux calculations, fouling analysis, and concentrate
nanoimprint-process-controller

a5c-ai/babysitter

249
This skill helps you optimize nanoimprint lithography processes by managing templates, controlling temperature and pressure, and analyzing defects for
type-inference-engine

a5c-ai/babysitter

249
This skill helps you implement and test type inference algorithms like Algorithm W and Hindley-Milner, guiding constraint solving and error diagnosis.
tla-plus-generator

a5c-ai/babysitter

249
This skill helps you generate and verify TLA+ specifications for distributed systems, including PlusCal translation, model checking, and refinement mapping.
rollback-automation-skill

a5c-ai/babysitter

249
This skill automates rollback procedures for migrations by managing state snapshots, generating rollback scripts, and verifying outcomes.
theorem-prover-interface

a5c-ai/babysitter

249
This skill helps you harness interactive theorem provers for mechanized verification, generating proofs, automating tactics, and extracting certified code.
termination-analyzer

a5c-ai/babysitter

249
This skill helps prove termination of algorithms by automatically identifying ranking functions, well-founded orderings, and generating formal termination
temporal-logic-translator

a5c-ai/babysitter

249
This skill translates temporal logic formalisms and guides property specification, enabling precise formal verification and translations between LTL, CTL, and
materials-database-querier

a5c-ai/babysitter

249
This skill provides unified access to multiple materials databases for assessing structure and property data across repositories to streamline discovery.
smt-solver-interface

a5c-ai/babysitter

249
This skill helps you reason about SMT solvers for automated verification and synthesis, generating queries, selecting theories, and extracting models.
reduction-builder

a5c-ai/babysitter

249
This skill helps you construct and verify polynomial-time reductions between problems, guiding gadget selection, correctness proofs, and documentation.
turing-machine-simulator

a5c-ai/babysitter

249
This skill helps simulate Turing machines for computability analysis and algorithm demonstrations with step-by-step visualization.
sustainable-procurement-assessor

a5c-ai/babysitter

249
This skill assesses supplier sustainability across environmental, social, and governance factors to enable transparent, compliant procurement decisions.
openapi-generator

a5c-ai/babysitter

249
This skill helps you generate and validate OpenAPI 3.x specifications, infer schemas, mock servers, and generate client and server code.
supply-chain-simulation-engine

a5c-ai/babysitter

249
This skill simulates end-to-end supply chains, enables what-if analysis and policy optimization using discrete-event modeling to inform decisions.
probabilistic-analysis-toolkit

a5c-ai/babysitter

249
This skill helps you analyze randomized algorithms using probability theory and concentration bounds to derive guarantees and insights.
recurrence-solver

a5c-ai/babysitter

249
This skill helps you solve recurrence relations from divide-and-conquer analysis using Master Theorem, substitutions, recursion trees, and generating functions.
loop-invariant-generator

a5c-ai/babysitter

249
This skill helps automatically generate and verify loop invariants for algorithm proofs using formal methods and theorem provers.
latex-proof-formatter

a5c-ai/babysitter

249
This skill formats proofs and algorithms in publication-quality LaTeX, applying inference rules, algorithms, cross-references, and style compliance.
migration-validator

a5c-ai/babysitter

249
This skill helps validate functional equivalence after migration by performing side-by-side comparisons, diffing outputs, and behavioral verification.
data-flow-analysis-framework

a5c-ai/babysitter

249
This skill guides designing and implementing data-flow analyses for compiler optimization, including lattice, transfer, fixpoint, and interprocedural
consensus-protocol-library

a5c-ai/babysitter

249
This skill helps you design, analyze, and implement consensus protocols like Paxos, Raft, and PBFT with guided safety and liveness checks.
sphinx-docs

a5c-ai/babysitter

249
This skill helps you configure Sphinx projects, export API docs, and generate multi-format output to deliver polished technical documentation.
traffic-simulation-engine

a5c-ai/babysitter

249
This skill analyzes traffic with microsimulation, LOS calculations, and signal timing optimization to support intersection design and future condition
steel-connection-designer

a5c-ai/babysitter

249
This skill designs bolted and welded steel connections per AISC, delivering calculations, details, and schedules to streamline seismic projects.
soil-classification-tool

a5c-ai/babysitter

249
This skill classifies soils with USCS and AASHTO, interprets Atterberg limits, and computes SPT correlations for engineering properties.
event-sourcing-migrator

a5c-ai/babysitter

249
This skill migrates applications to event-sourcing architectures by extracting events, configuring stores, generating projections, and implementing CQRS.
settlement-calculator

a5c-ai/babysitter

249
This skill estimates foundation settlement including immediate, primary consolidation, and secondary compression using geotechnical methods to inform design
section-property-calculator

a5c-ai/babysitter

249
This skill computes cross-sectional properties for standard and custom shapes, including area, inertia, and section moduli, empowering accurate structural
revit-api-interface

a5c-ai/babysitter

249
This skill enables programmatic access to Revit models for element extraction, creation, and automation of structural workflows.
quantity-takeoff-calculator

a5c-ai/babysitter

249
This skill helps estimate construction quantities by calculating concrete volumes, steel weights, earthwork, and material takeoffs from drawings or BIM.
ifc-model-analyzer

a5c-ai/babysitter

249
This skill analyzes IFC models for validation, property extraction, and comparisons, helping ensure data quality and consistency across BIM workflows.
reputation-intelligence

a5c-ai/babysitter

249
This skill helps you track and benchmark reputation across multiple sources, delivering insights to improve brand health, product perception, and stakeholder
hydrologic-modeling-engine

a5c-ai/babysitter

249
This skill performs hydrologic analyses for rainfall-runoff, flood frequency, and watershed characterization to support design and risk assessments.
pavement-design-calculator

a5c-ai/babysitter

249
This skill designs flexible and rigid pavements using AASHTO 93 and MEPDG, with overlay, life cycle cost analysis, and traffic assessment.
gis-spatial-analyzer

a5c-ai/babysitter

249
This skill helps perform GIS spatial analysis for watershed delineation, floodplain mapping, and site constraints to support informed decisions.
environmental-fate-modeler

a5c-ai/babysitter

249
This skill helps assess nanomaterial fate and transport, enabling safe environmental impact predictions across dissolution, transport, and risk assessment.
markdown-mdx

a5c-ai/babysitter

249
This skill streamlines technical documentation by parsing, linting, validating, and transforming Markdown and MDX with plug-in pipelines.
environmental-impact-analyzer

a5c-ai/babysitter

249
This skill helps assess environmental impacts for NEPA, wetlands, and endangered species screening to support compliant civil engineering projects.
earth-pressure-calculator

a5c-ai/babysitter

249
This skill calculates lateral earth pressures for retaining structures using Rankine, Coulomb, and seismic methods to guide safe, efficient design.
detention-pond-designer

a5c-ai/babysitter

249
This skill designs detention and retention pond systems by calculating storage, sizing outlets, and creating stage-storage-discharge and routing analyses.
engineering-report-generator

a5c-ai/babysitter

249
This skill generates standardized engineering reports including geotechnical, structural, and traffic documents with calculation sheets and executive summaries.
csi-specification-writer

a5c-ai/babysitter

249
This skill helps generate CSI MasterFormat compliant specifications with standard paragraphs, section templates, and project customization for construction
cpm-schedule-generator

a5c-ai/babysitter

249
This skill develops construction schedules using the Critical Path Method to optimize sequencing, floats, resources, and timelines for informed decision making.
link-validator

a5c-ai/babysitter

249
This skill validates internal and external links in documentation, detects redirects, and reports issues to prevent broken references and improve reliability.
cost-database-interface

a5c-ai/babysitter

249
This skill provides access to construction cost databases for unit costs, productivity, and regional adjustments to enable accurate cost estimation.
npv-irr-calculator

a5c-ai/babysitter

249
This skill helps you evaluate project investments by computing NPV, IRR, MIRR, payback, and profitability with configurable assumptions.
civil3d-surface-analyzer

a5c-ai/babysitter

249
This skill analyzes Civil 3D terrain surfaces to compute slopes, cuts, fills, drainage, and earthwork quantities, enabling informed design decisions.
building-code-checker

a5c-ai/babysitter

249
This skill helps verify building code compliance for occupancy, construction type, area, and fire-resistance per IBC to support design decisions.
dls-particle-sizer

a5c-ai/babysitter

249
This skill analyzes dynamic light scattering data to deliver hydrodynamic size distributions, PDI, and multi-angle insights for nanoparticle stability.
bim-clash-detection

a5c-ai/babysitter

249
This skill identifies and manages BIM coordination conflicts across disciplines, including hard, soft, and workflow clashes, and tracks resolutions.
evm-calculator

a5c-ai/babysitter

249
This skill automatically computes earned value metrics, forecasts, and trend insights for project performance using PMI/ANSI standards.
ada-compliance-checker

a5c-ai/babysitter

249
This skill helps verify ADA accessibility compliance for routes, slopes, and curb ramps in design projects, delivering actionable reports and improvements.
configuration-migrator

a5c-ai/babysitter

249
This skill migrates configuration files between formats and versions, extracts environment variables, and detects secrets to streamline secure, consistent
compliance-validator

a5c-ai/babysitter

249
This skill validates migration compliance across rules, audits, and security controls to ensure policy enforcement and evidence generation.
thermodynamic-model-selector

a5c-ai/babysitter

249
This skill helps select thermodynamic property methods based on components and conditions, enabling accurate model choice, parameter fitting, and uncertainty
codemod-executor

a5c-ai/babysitter

249
This skill automates large-scale code transformations using AST tools, enabling safe refactors, migrations, and language upgrades across codebases.
separation-sequence-synthesizer

a5c-ai/babysitter

249
This skill evaluates separation options and sequences for multi-component mixtures, enabling optimal technology selection and energy-efficient, cost-conscious
relief-system-designer

a5c-ai/babysitter

249
This skill assists designing pressure relief systems by sizing devices, calculating relief loads, and optimizing flare and disposal design per API standards.
reactor-designer

a5c-ai/babysitter

249
This skill designs and optimizes chemical reactors, selecting types, sizing, and configurations to improve performance and yield.
process-economics-estimator

a5c-ai/babysitter

249
This skill estimates capital and operating costs for chemical processes, delivering profitability metrics and sensitivity analysis to support investment
diagram-generation

a5c-ai/babysitter

249
This skill generates multi-format diagrams from text descriptions, producing Mermaid, PlantUML, D2, and Graphviz visuals for architecture, data models, and
pinch-analyzer

a5c-ai/babysitter

249
This skill applies pinch technology to optimize heat integration and customize energy targets, reducing utility use and improving factory feasibility.
pid-tuner

a5c-ai/babysitter

249
This skill optimizes PID controller parameters using IMC, Lambda, Cohen-Coon, and Ziegler-Nichols methods to improve stability and responsiveness.
performance-test-designer

a5c-ai/babysitter

249
This skill designs comprehensive performance test plans, including conditions, data collection, instrumentation, and acceptance criteria for reliable
mpc-configurator

a5c-ai/babysitter

249
This skill configures and tunes Model Predictive Control systems, guiding model identification, horizon selection, and performance optimization.
cloud-readiness-assessor

a5c-ai/babysitter

249
This skill assesses cloud-readiness by classifying applications with 6Rs, checking cloud-native compliance, and estimating migration blockers and costs.
lca-analyzer

a5c-ai/babysitter

249
This skill performs life cycle assessment to evaluate environmental impacts and guide sustainable process design decisions.
kinetic-modeler

a5c-ai/babysitter

249
This skill develops and validates reaction kinetics models, estimates parameters from data, and supports reactor design with rigorous uncertainty analysis.
architecture-analyzer

a5c-ai/babysitter

249
This skill analyzes and visualizes software architecture patterns and dependencies to support migration planning and module boundary identification for teams.
equipment-sizing-calculator

a5c-ai/babysitter

249
This skill sizes process equipment using established engineering correlations and standards to produce datasheets, calculations, and equipment specifications.
colloidal-stability-analyzer

a5c-ai/babysitter

249
This skill evaluates nanoparticle dispersion stability using zeta potential, DLVO theory, and shelf-life predictions to optimize stabilization strategies.
energy-auditor

a5c-ai/babysitter

249
This skill analyzes energy use, benchmarks performance, and identifies efficiency opportunities to reduce costs and improve process sustainability.
build-system-migrator

a5c-ai/babysitter

249
This skill migrates legacy build systems to modern tools by converting build files, migrating plugins, and integrating CI/CD for faster, reliable workflows.
membrane-system-designer

a5c-ai/babysitter

249
This skill designs membrane separation systems including RO, UF, NF, and gas separation to optimize performance and energy use.
distillation-designer

a5c-ai/babysitter

249
This skill helps you design distillation columns by selecting trays or packing, performing hydraulic analyses, and optimizing performance.
crystallizer-designer

a5c-ai/babysitter

249
This skill designs crystallization processes, optimizing equipment, operating conditions, and crystal size distribution to ensure quality and scalable
contact-angle-analyzer

a5c-ai/babysitter

249
This skill helps determine surface wettability and energy components for nanomaterial surfaces using static and dynamic angle analyses.
corrosion-materials-selector

a5c-ai/babysitter

249
This skill recommends corrosion-resistant materials based on process conditions, mechanisms, and standards to ensure equipment reliability and lifecycle cost
control-strategy-designer

a5c-ai/babysitter

249
This skill designs control strategies for process systems, selecting structures, configuring loops, and optimizing regulatory control for reliable operation.
catalyst-analyzer

a5c-ai/babysitter

249
This skill analyzes catalyst performance, models deactivation, and optimizes regeneration, enabling data-driven selection and operational efficiency for
alarm-rationalization-tool

a5c-ai/babysitter

249
This skill helps optimize alarm rationalization, setpoints, and ISA-18.2 compliance by delivering worksheets, KPIs, and improvement recommendations.
use-related-risk-analyzer

a5c-ai/babysitter

249
This skill helps identify and mitigate use-related hazards in medical devices by applying IEC 62366-1 usability analysis to tasks, interfaces, and training.
udi-labeling-generator

a5c-ai/babysitter

249
This skill helps generate compliant UDI labels and manage device identifiers for FDA GUDID and EU EUDAMED submissions.
cleanroom-protocol-manager

a5c-ai/babysitter

249
This skill helps manage cleanroom protocols and contamination control, ensuring compliant workflows, traceable documentation, and efficient process execution.
sterilization-validation-planner

a5c-ai/babysitter

249
This skill helps plan and validate sterilization processes across EO, radiation, and steam by guiding method selection, dosing, and protocol generation.
software-vv-test-generator

a5c-ai/babysitter

249
This skill helps you generate comprehensive medical device software verification and validation test cases aligned to requirements and regulatory standards.
scaffold-design-optimizer

a5c-ai/babysitter

249
This skill helps optimize scaffold pore architecture, porosity, and mechanics to improve tissue regeneration outcomes.
api-compatibility-analyzer

a5c-ai/babysitter

249
This skill analyzes API changes across versions to detect breaking changes, assess consumer impact, and guide migration strategies.
code-sample-validator

a5c-ai/babysitter

249
This skill extracts, validates, and tests code samples in documentation to ensure correct syntax, execution, and up-to-date API usage.
process-fmea-generator

a5c-ai/babysitter

249
This skill generates PFMEA worksheets and control plans to identify process failures and guide risk reduction across manufacturing steps.
packaging-validation-planner

a5c-ai/babysitter

249
This skill guides ISO 11607 compliant packaging validation planning, optimizing seal integrity, aging studies, and shelf life determinations for medical device
material-model-library

a5c-ai/babysitter

249
This skill provides validated constitutive models and material properties for biological tissues and implants to support accurate biomechanical simulations and
iso-standards-compliance-checker

a5c-ai/babysitter

249
This skill helps verify medical device compliance with ISO/IEC standards by generating checklists, gap analyses, and evidence mappings for regulatory