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