Agent Skills by Patryk Grzelak
Showing 4 vetted skills indexed across 1 GitHub repositories.
patrykgztemporal-awareness
Verify temporal information using GNU and BSD Unix date commands.
Community
Intermediate
patrykgzkani-verifier
Automate Rust verification with Kani to prove memory safety across all inputs.
Community
Advanced
patrykgzcreusot
Formally verify Rust code with Creusot and Pearlite specifications.
Community
Advanced
patrykgzproptest
Verify Rust code invariants with property-based testing using proptest.
Community
Advanced