npx skills add smithery/ryanthedev --skill aposd-verifying-correctness
ryanthedev/code-foundations · Archived
aposd-verifying-correctness
Verifies implementation completeness across functional correctness, error handling, concurrency, and security dimensions using APOSD's post-implementation…
Installation
npx skills add https://github.com/ryanthedev/code-foundations
Stronger alternatives
This repository is archived — consider an actively maintained alternative.
Applies Code Complete's defensive programming rules: barricade design, assertion vs error-handl…
45 installsGuides safe refactoring using Code Complete's fix-first-then-refactor discipline: decides betwe…
6 installsDecomposes underspecified requests by classifying gaps (missing info, ambiguity, false premises…
5 installsAudits and restructures control flow using Code Complete's nesting, cyclomatic complexity, loop…
5 installsSimilar popular skills
Related neighbors and high-traction skills in the same topics — useful to compare before installing.
MUST be used whenever fixing correctness and error handling issues in a Flows app.
1.9K installsHow WAL mechanics, checkpointing, concurrency rules, recovery work in tursodb
1.1K installsChecks transaction scope, missing rollback handling, long-held transactions, trigger/notify int…
370 installsMUST be used whenever fixing correctness and error handling issues in a Dune app. This skill fi…
337 installsJudge whether code is sound and safe to call — its exception surface (throws, catches, exceptio…
7 installsAlso in this package
Other skills from ryanthedev/code-foundations · top by installs.
npx skills add https://github.com/ryanthedev/code-foundations
More details
Agent compatibility
Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.
Also listed on
Alternate registries and mirrors of this skill.
Repository health
main
History
- First seen on skills.sh
- First recorded snapshot · 5 installs