NeoTex: AI-Powered NeoVim for Research, Development, and System Management

A modern NeoVim configuration built for AI-assisted coding, LaTeX typesetting, formal verification with Lean, NixOS system management, and multi-language development with comprehensive LSP support and Git workflow integration.

Core Focus Areas

1. AI-Assisted Development

Multi-Provider AI Integration for intelligent coding assistance:

• Claude Code - Advanced coding assistant with multi-provider support and custom system prompts
• Lectic - Persistent AI conversations for research and knowledge management
• Avante - AI-powered code completion, refactoring, and inline suggestions with Claude, GPT, and Gemini support
• MCP Hub - Model Context Protocol integration for extended AI capabilities
• Git Worktrees + OpenCode - Parallel AI-assisted development across multiple branches

Quick Access: <leader>aa (Avante), <C-c> (Claude Code), <leader>ml (Lectic)

2. Professional LaTeX Typesetting

Comprehensive Academic Writing Environment:

• VimTeX - Full-featured LaTeX editing with live compilation and PDF viewing
• Custom Templates - Article, book, beamer presentations, and publisher-specific templates
• Citation Management - Zotero integration with BibTeX synchronization
• Math Support - LaTeX-specific surrounds, snippets, and intelligent text objects
• PDF Integration - Synchronized forward/inverse search with PDF viewers
• Multi-file Projects - Chapter management, bibliography handling, and cross-referencing

See: Research Tooling Documentation

3. NixOS System Management

Integrated System Configuration:

• Flake Management - Rebuild system configurations from within NeoVim
• Home Manager - Apply user-specific configuration changes
• Package Operations - Update dependencies and clean old generations
• Development Shells - Enter nix-shell environments for project dependencies
• Quick Resources - Direct access to NixOS package search and configuration tools

Quick Access: <leader>n prefix for all NixOS operations

See: NIX Workflows Documentation

If you are interested in using NixOS, you can find my .dotfiles here.

4. Formal Verification with Lean

Interactive Theorem Proving Environment:

• Lean 4 Language Server - Full LSP support with intelligent completion and diagnostics
• Infoview Integration - Live goal state display and tactic feedback
• Proof Navigation - Jump to definitions, find references, hover documentation
• Unicode Input - LaTeX-style abbreviations for mathematical symbols
• Project Management - Support for Lean projects with dependencies and imports

See: Formal Verification Documentation

5. Modern Language Development

Comprehensive LSP Support with intelligent code assistance for:

• Programming: Python, Rust, Go, TypeScript/JavaScript, Lua, Nix, C/C++, Java, Shell
• Markup: LaTeX, Markdown, HTML/CSS
• Data: JSON, YAML, TOML
• Specialized: Jupyter notebooks, Lean 4 theorem proving

Features: Auto-completion, diagnostics, go-to-definition, references, refactoring, formatting

See: LSP Configuration

6. Git Workflow Integration

Professional Version Control:

• Neogit - Comprehensive Git interface with Magit-style workflows
• Gitsigns - Inline git blame, hunk operations, and diff viewing
• Diffview - Side-by-side diff viewing and merge conflict resolution
• Telescope Git - Search commits, branches, and file history
• Git Worktrees - Multi-branch parallel development support

Quick Access: <leader>g prefix for all Git operations

Key Features

Advanced AI Capabilities

• Multi-Provider Support - Switch between Claude, GPT, and Gemini on-the-fly
• Custom System Prompts - Create task-specific AI behaviors
• Context-Aware Assistance - AI understands project structure and file relationships
• Inline Editing - Visual selection editing with AI suggestions
• Parallel Development - Multiple AI sessions across git worktrees

Academic Writing Excellence

• Template System - Pre-configured templates for articles, books, presentations, and publishers
• Live Preview - Synchronized PDF viewing with forward/inverse search
• Citation Tools - Zotero integration with smart bibliography management
• Collaborative Workflows - Git-based version control for academic papers
• Markdown Support - Pandoc integration for format conversion

Formal Verification Tools

• Lean 4 Integration - Interactive theorem proving with live feedback
• Infoview - Real-time proof state visualization and goal tracking
• **Un

...