Agent Skills by antonbespalov
Showing 15 vetted skills indexed across 1 GitHub repositories.
AntonBespalovworkflow-spec-tests-code
Validate MUST fields and generate a Spec, Tests/Proof, and implementation plan.
AntonBespalovtest-verification-welding-short
Define measurable verification requirements for welding power supply firmware changes.
AntonBespalovstrict-audit
Detect No-Go safety issues in firmware changes affecting BKIN/BKIN2, STO, timers, and watchdogs.
AntonBespalovtest-verification-welding-long
Document a verification proof plan for STM32G4 welding firmware with FreeRTOS.
AntonBespalovadr-writer
Record architecture decisions with options, criteria, risks, and evidence in Markdown.
AntonBespalovdebug-scientific-embedded
Debug embedded systems with a structured observation-hypothesis-plan-analysis workflow.
AntonBespalovcomplexity-analysis
Audit complexity and real-time risks in ISR and critical task paths.
AntonBespalovhardware-integration-check
Detect STM32 peripheral resource conflicts across GPIO, DMA, IRQ, and timers.
AntonBespalovdn-writer
Convert discussion summaries into structured Markdown Design Notes with decisions, assumptions, and acceptance criteria.
AntonBespalovask-questions-embedded-stm32-freertos
Identify and lock down ambiguities in embedded STM32 + FreeRTOS tasks before implementation.
AntonBespalovpatch-discipline-small-diffs
Plan minimal-change patches with explicit file boundaries and commit steps.
AntonBespalovred-team-review-welding
Identify failure scenarios, timing risks, and safety invariants in welding power supply code.
AntonBespalovdocs-maintainer
Identify document owners and truth sources impacted by code changes.
AntonBespalovsystem-design-interrogation
Elicit ambiguous system requirements through iterative one-question-at-a-time Spec sessions.
AntonBespalovsafety-invariants-welding
Preserve safety invariants for TIM1, BKIN/BKIN2, STO, and watchdog in welding controllers.