Plugin marketplace
Your coding agent shows its evidence before it edits, and its diff is verified against the plan it declared. A local, read-only MCP server with 16 tools: code and regex search, symbol definitions and references, dependency paths, impact analysis, context packs, plan_change and verify_change, from an index under the repository's .ok/ directory. No hosted index or embeddings API required.
Add this marketplace
Then install any plugin below by name — each page has its exact command.
Your coding agent shows its evidence before it edits, and its diff is verified against the plan it declared. Local, read-only MCP server with 16 tools — BM25 and regex code search, symbol resolution, references and call relationships, impact analysis, context packs, plan_change and verify_change — from a native binary and an index under .ok/. Supports Rust, TypeScript, Python, Go, Java, and JavaScript.
1 skill · 1 MCP server · hooks
Shows how many plugins this repo ships, and links here.