Skill Explorer

Define and execute abstract machines.

byrainoftime

abstract-trace-summarizer

Summarize program behavior with abstract interpretation.

byArabelaTso

WAMR Implementation Checker

Inspect WAMR internals to verify WASM behavior.

bykmt-t

abstract-invariant-generator

Generate invariants for numerical code.

bysantosomar

abstract-invariant-generator

Infer code invariants for formal verification.

byArabelaTso

abstract-domain-explorer

Static analysis with abstract domains

byArabelaTso

relational-parametricity-prover

Prove parametricity and derive free theorems.

byrainoftime

metaphor-to-protocol-translation

Translate metaphorical descriptions into executable protocols.

bystarwreckntx

pdf-reader

Extract and analyze PDF content.

byrfdiosuao

canvas-design

Craft stunning visual art with deep design philosophy.

bymichael-h-patrianna

intent-confirmation

Confirm intent before action to avoid missteps.

byHHU3637kr

pdf-reader

Extract and analyze PDF content