Expand description
Language Plugin Architecture
Provides a trait-based plugin system for polyglot support. Each language (Rust, Python, JS, etc.) implements this trait.
PSP-000005 expands plugins from init-only to full runtime verification contracts.
Structs§
- Init
Options - Options for project initialization
- JsPlugin
- JavaScript/TypeScript language plugin
- LspCapability
- LSP availability and fallback for a plugin.
- LspConfig
- LSP Configuration for a language
- Plugin
Registry - Plugin registry for dynamic language detection
- Python
Plugin - Python language plugin (uses ty via uvx)
- Rust
Plugin - Rust language plugin
- Verifier
Capability - A single verifier sensor: one stage of the verification pipeline.
- Verifier
Profile - Complete verifier profile for a plugin.
Enums§
- Project
Action - Action to take for project initialization or tooling sync
- Verifier
Stage - Verification stage in the plugin-driven pipeline.
Traits§
- Language
Plugin - A plugin for a specific programming language
Functions§
- host_
binary_ available - Check whether a given binary name is available on the host PATH.