2 مستودعات
Mechanisms for inspecting executable notebook content without running the code to prevent security risks.
Distinct from Safe Code Verifiers: None of the candidates cover the security-focused preview of executable notebook files.
Explore 2 awesome GitHub repositories matching security & cryptography · Safe Code Previews. Refine with filters or upvote what's useful.
Pluto.jl is a reactive computing environment for Julia that functions as a programmable document format. It serves as an interactive data science IDE and a polyglot computational notebook that stores Julia code and environment dependencies as versionable source files. The system is distinguished by its reactive execution model, which uses a directed acyclic graph to track variable dependencies and automatically re-evaluate affected downstream cells when a value changes. It ensures reproducibility by integrating isolated package environments directly within the notebook file and persisting con
Inspects notebook content and structure without executing code to ensure security and correctness.
lensm is a binary analysis tool and Go disassembler interface designed for navigating disassembled machine code, tracking function calls, and inspecting executable metadata. It specifically functions as a Go assembly viewer that visualizes compiled binary instructions alongside their original source code. The project implements the Model Context Protocol to expose internal functions and source code as tools for external AI systems. This protocol-based analysis server enables the streaming of binary data and the management of server lifecycles to allow external tools to analyze logic. The sys
Displays a temporary view of a function's code that can be promoted to a persistent tab.