Struct PythonPlugin 

pub struct PythonPlugin;

Python language plugin (uses ty via uvx)

Trait Implementations

impl LanguagePlugin for PythonPlugin

fn run_command_for_dir(&self, path: &Path) -> String

Detect the package name from pyproject.toml or src layout and return an appropriate run command.

fn name(&self) -> &str

Name of the language

fn extensions(&self) -> &[&str]

File extensions this plugin handles

fn key_files(&self) -> &[&str]

Key files that identify this language (e.g., Cargo.toml, pyproject.toml)

fn required_binaries(&self) -> Vec<(&str, &str, &str)>

Required host binaries for this plugin, grouped by role.

fn get_lsp_config(&self) -> LspConfig

Get the LSP configuration for this language

fn get_init_action(&self, opts: &InitOptions) -> ProjectAction

Get the action to initialize a new project (greenfield)

fn check_tooling_action(&self, path: &Path) -> ProjectAction

Check if an existing project needs tooling sync (e.g., uv sync, cargo fetch)

fn init_command(&self, opts: &InitOptions) -> String

Get the command to initialize a new project DEPRECATED: Use get_init_action instead

fn test_command(&self) -> String

Get the command to run tests

fn test_command_with_filter(&self, filter: Option<&str>) -> String

The test command narrowed to an already-sanitized name filter. The default ignores the filter; plugins with a native filter form override it. Acceptance gates always use the unfiltered test_command — only interactive run_test calls narrow.

fn run_command(&self) -> String

Get the command to run the project (for verification)

fn syntax_check_command(&self) -> Option<String>

Get the syntax/type check command (e.g., cargo check, uvx ty check .)

fn lint_command(&self) -> Option<String>

Get the lint command (e.g., cargo clippy -- -D warnings)

fn file_ownership_patterns(&self) -> &[&str]

File glob patterns this plugin owns (e.g., ["*.rs", "Cargo.toml"])

fn is_test_file(&self, path: &str) -> bool

Whether an existing file contributes executable test-oracle semantics. The governed candidate runs a second verifier pass with source pre-images restored whenever one of these files is modified.

fn host_tool_available(&self) -> bool

Check if the host has the required build tools available

fn format_command(&self) -> Option<String>

The governed formatter command (run_formatter; e.g. cargo fmt).

fn format_check_command(&self) -> Option<String>

The formatter’s non-mutating check form (e.g. cargo fmt --check), declared as the format verifier stage when present.

fn lsp_fallback(&self) -> Option<LspConfig>

Get fallback LSP config when primary is unavailable

fn verifier_profile(&self) -> VerifierProfile

Build a complete verifier profile by probing each capability.

fn legal_support_files(&self) -> &[&str]

Legal support files that the LLM is allowed to create beyond declared output_files (e.g., Cargo.toml for Rust, __init__.py for Python).

fn dependency_commands( &self, action: DependencyAction, packages: &[String], dev: bool, ) -> Vec<String>

The command sequence realizing a governed dependency action, or empty when this plugin does not support dependency mutation. Every returned command must itself satisfy dependency_command_policy, and the handler re-checks it (fail closed).

fn dependency_files(&self) -> Vec<String>

Workspace-relative manifest and lockfile paths a dependency command may mutate — the promotable footprint of mutate_dependencies.

fn dependency_command_policy(&self, command: &str) -> CommandPolicyDecision

Policy for dependency-management commands emitted by the LLM.

fn test_file_patterns(&self) -> &[&str]

Glob patterns that identify test files for this language.

fn detect(&self, path: &Path) -> bool

Detect if this plugin should handle the given project directory

fn build_command(&self) -> Option<String>

Get the build command (e.g., cargo build, npm run build)

fn owns_file(&self, path: &str) -> bool

PSP-5 Phase 2: Check if a file path belongs to this plugin’s ownership domain

fn manifest_mutation_policy( &self, _manifest_path: &str, ) -> ManifestMutationPolicy

Policy for manifest file mutations produced by the LLM.