Agent Skills by leisure118
Showing 4 vetted skills indexed across 1 GitHub repositories.
leisure118spectool
Generate ACSL specifications and run Frama-C/WP verification on C programs.
Community
Advanced
leisure118spec-bottomup
Generate ACSL specifications for C programs and verify them with Frama-C WP.
Community
Advanced
leisure118spec-orchestrate
Orchestrate ACSC verification on layered C project directories with Frama-C WP.
Community
Advanced
leisure118spec-split
Slice C project functions into layered directories for Frama-C WP verification.
Community
Advanced