Results for “cert-spotter”

Guides through a 5-step secure development workflow for smart contracts, including automated scanning with Slither, special feature validation, visual security diagrams, security property documentation, and manual review.

Run static BSP checks and on-target smoke/regression tests on a flashed NVIDIA Jetson device to validate a customized BSP image.

Compare, cross-review, and merge competing plans from multiple agents into one executable direction with a clear handoff.