Skip to main content

DavidClawson/ripcord

Dernière activité source enregistrée
Catalogue SkillsMP mis à jour
skills collectés
2
Étoiles GitHub
2
Forks GitHub
2

Installer avec un assistant IA

Copiez ce prompt dans l’assistant IA que vous utilisez.

Chargement du README du dépôt…

Skills dans ce dépôt

1 catégories métier · 100% classifié

Affichage de 2 skills collectés sur 2.

métier
Développeurs de logiciels
description

Promote a single static claim about a firmware function or hardware-boundary transaction to an execution-verified contract by running it in Renode and diffing the trace, then recording it in the ripcord contract ledger. Use when you have a decompile-derived…

Langue du texte source : anglais

mis à jour
métier
Développeurs de logiciels
description

Bring up a firmware target in ripcord from opaque binary to an execution-verified hardware-boundary (MMIO) transcript. Use when the user wants to emulate a firmware target, capture how the MCU drives a peripheral or opaque device (FPGA/ASIC), reverse-engineer…

Langue du texte source : anglais

mis à jour
Affichage de 2 skills collectés sur 2.