elniak
Community@elniak · Belgium
I’m a cybersecurity researcher and teaching assistant at UCLouvain.
Agent Skills by elniak
Showing 11 vetted skills indexed across 1 GitHub repositories.
ElNiakmethodology-reference
Guide users through PANTHER's NCT, NACT, and NSCT testing methodologies.
ElNiakivy-lsp-walkthrough
Demonstrate formal protocol testing with Ivy LSP navigation and MCP verification.
ElNiakivy-writing-guide
Guide Ivy protocol specification syntax, test patterns, and RFC bracket-tag annotations.
ElNiakcounterexample-guide
Interpret Ivy protocol verification counterexamples and debug failed assertions.
ElNiaknct-methodology
Guide the 10-step NCT workflow for formal protocol testing with Ivy.
ElNiakworkflow-reference
Translate RFC normative language into formal Ivy constructs and run verification.
ElNiaknsct-methodology
Configure PANTHER experiments for Shadow NS deterministic network simulation.
ElNiaknact-methodology
Model and test network protocol security using the NACT methodology.
ElNiakspecification-patterns
Scaffold Ivy protocol specifications using a 14-layer template and formal model patterns.
ElNiakincremental-spec-dev
Guide incremental add-verify-iterate loops for Ivy formal specifications.
ElNiaktooling-reference
Guide Ivy language tooling workflows for LSP and MCP operations.