Neovim plugin for Ananke typed holes and constraint-based code generation.

Work with typed holes directly in Neovim. Detect incomplete code, get AI-powered fill suggestions, extract and validate constraints, and generate code with constraint guarantees.

• Hole Detection - Automatic detection of TODO, FIXME, pass, unimplemented!, etc.
• Fill Suggestions - AI-powered completions with confidence scores
• Decomposition - Break complex holes into smaller pieces
• Navigation - Jump between holes with ]h and [h
• Visual Indicators - Diagnostics, virtual text, and code lenses

• Extraction - Extract constraints from source code
• Validation - Validate code against extracted constraints
• Compilation - Compile constraints to IR for generation

• Context Manager - Add files and selections to generation context
• Generation Panel - Full-featured UI for constraint-guided generation
• Inline Generation - Quick code generation with prompt

• Syntax Support - Full support for .ariadne constraint definition files
• LSP Integration - Diagnostics, completion, and hover for Ariadne

• Neovim 0.9+
• nvim-lspconfig
• ananke-lsp binary in PATH
• ananke CLI binary in PATH (for constraint operations)

{
  "rand/ananke-nvim",
  dependencies = { "neovim/nvim-lspconfig" },
  config = function()
    require("ananke").setup()
  end,
}

use {
  "rand/ananke-nvim",
  requires = { "neovim/nvim-lspconfig" },
  config = function()
    require("ananke").setup()
  end,
}

require("ananke").setup({
  -- LSP configuration
  lsp_cmd = { "ananke-lsp" },
  cli_path = "ananke",

  -- Feature toggles
  diagnostics = true,
  code_lens = true,
  virtual_text = true,
  detect_on_save = true,
  extract_on_save = false,

  -- Fill settings
  min_confidence = 0.5,
  max_suggestions = 5,

  -- Supported languages
  filetypes = { "python", "typescript", "rust", "zig", "javascript", "go", "ariadne" },

  -- Hole keymaps
  keymaps = {
    fill_hole = "<leader>hf",
    fill_all = "<leader>ha",
    decompose = "<leader>hd",
    inspect = "<leader>hi",
    mark_review = "<leader>hr",
    skip = "<leader>hs",
    next_hole = "]h",
    prev_hole = "[h",
    -- Constraint/generation keymaps
    extract = "<leader>ce",
    validate = "<leader>cv",
    compile = "<leader>cc",
    generate = "<leader>cg",
    add_context = "<leader>ca",
    show_context = "<leader>cs",
    clear_context = "<leader>cx",
  },

  -- Extraction settings
  extraction = {
    auto = false,
    confidence_threshold = 0.5,
    use_claude = false,
  },

  -- Generation settings
  generation = {
    endpoint = "",  -- Required for generation
    max_tokens = 2048,
    temperature = 0.7,
  },

  -- Context settings
  context = {
    max_tokens = 8000,
  },
})

The generation panel (<leader>cg or :AnankeGenerate) provides a full UI for code generation:

Add Ananke status to your status line:

require('lualine').setup({
  sections = {
    lualine_x = {
      require('ananke.status').lualine_component(),
    }
  }
})

local status = require('ananke.status').get_status_string()

1. Open a file containing typed holes
2. Holes appear as diagnostics with virtual text
3. Navigate to a hole with ]h
4. Press <leader>hf to see fill suggestions
5. Select a suggestion to apply it

1. Extract constraints: <leader>ce
2. Add context files: <leader>ca
3. Open generation panel: <leader>cg
4. Enter prompt and generate
5. Apply or copy generated code

• ananke - Core constraint engine (Zig/Rust)
• ananke-lsp - Language Server Protocol implementation
• ananke-vscode - VS Code / Cursor extension
• ananke-intellij - IntelliJ plugin

All Rights Reserved - Copyright (c) 2025 Rand Arete