Most Used Tags
Sanitize raw analysis specs while preserving provenance metadata.
Generic Analyzer agent for executing various analysis tasks based on specified prompts.
Reverse engineer clean behavioral specs from any codebase.
Transforms raw specifications into clean behavioral specs by removing contamination.
Reverse engineer codebases into detailed behavioral specifications with provenance.