2 repository-uri
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 este un mediu de calcul reactiv pentru Julia care funcționează ca un format de document programabil. Servește drept IDE interactiv pentru știința datelor și un notebook computațional poliglot care stochează codul Julia și dependențele de mediu ca fișiere sursă versionabile. Sistemul se distinge prin modelul său de execuție reactiv, care utilizează un graf aciclic direcționat pentru a urmări dependențele variabilelor și a re-evalua automat celulele din aval afectate atunci când o valoare se modifică. Asigură reproductibilitatea prin integrarea mediilor de pachete izolate direct în fișierul notebook și persistarea conținutului ca fișiere sursă executabile pure. Platforma acoperă o gamă largă de capabilități, inclusiv vizualizarea interactivă a datelor, crearea de sarcini educaționale ghidate și generarea de site-uri web de documentație statică. Suportă moduri de output diverse, cum ar fi prezentări de tip slideshow și aplicații web, și oferă instrumente pentru exportul notebook-urilor în HTML, PDF și scripturi axate pe reproductibilitate. Mediul poate fi lansat printr-o interfață web pe localhost sau accesat prin servere la distanță și găzduire cloud.
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.