notebook

package

v1.0.0 Latest Latest Go to latest Published: Mar 25, 2026 License: GPL-3.0 Imports: 3 Imported by: 0

Details

Package notebook provides Jupyter notebook integration for PSL.

This section is empty.

This section is empty.

func KernelSpec() string

KernelSpec returns the PSL Jupyter kernel specification.

func ListTemplates() string

ListTemplates returns available notebook templates.

type Cell struct {
	Type   string   `json:"cell_type"`
	Source []string `json:"source"`
}

Cell represents a notebook cell.

type Notebook struct {
	Cells    []Cell         `json:"cells"`
	Metadata map[string]any `json:"metadata"`
}

Notebook represents a Jupyter notebook.

func NewNotebook() *Notebook

NewNotebook creates a new notebook.

func TemplateAnalysis(protocol string) *Notebook

TemplateAnalysis generates a protocol analysis notebook template.

func TemplateSecurity(protocol string) *Notebook

TemplateSecurity generates a security audit notebook template.

func (nb *Notebook) AddCode(lines ...string)

AddCode adds a code cell.

func (nb *Notebook) AddMarkdown(lines ...string)

AddMarkdown adds a markdown cell.

func (nb *Notebook) ToJSON() string

ToJSON exports the notebook as JSON.