Axiweave

Popular repositories Loading

1. codex-as codex-as Public

   Run Codex with saved auth/provider profiles without permanently rewriting auth.json or config.toml

   Shell 2

2. axiweave.github.io axiweave.github.io Public

   HTML

3. lean4-mode lean4-mode Public

   Emacs major mode for Lean 4

   Emacs Lisp

4. claude-code-ide.el claude-code-ide.el Public

   Feature-rich Claude Code IDE integration for Emacs with multi-session management

   Emacs Lisp

5. oh-my-pi oh-my-pi Public

   Forked from can1357/oh-my-pi

   ⌥ AI Coding agent for the terminal — hash-anchored edits, optimized tool harness, LSP, Python, browser, subagents, and more

   TypeScript

6. omp-side-chat omp-side-chat Public

   Forked from nicobailon/pi-side-chat

   Fork your conversation into an independent side chat while the main agent keeps working.

   TypeScript