Chiasmus is a neurosymbolic verification engine packaged as a TypeScript library and Model Context Protocol (MCP) server. It bridges LLMs with formal solvers â Z3 (SMT) and SWI-Prolog (WASM) â by translating natural-language problems into template-based formal specifications that are verified with mathematical certainty. It also performs static code analysis: tree-sitter-based extraction of call graphs for TypeScript/JavaScript, Python, Go, Rust, Clojure, Scheme, Racket, and Common Lisp, followed by 16 analyses (reachability, dead code, impact, cycles, layer violations, community detection, hubs, bridges, diffs). Architecturally, the repo is a modular ESM library with an MCP server entry point (src/mcp-server.ts) exposing 11 tools over stdio (chiasmus_graph, chiasmus_map, chiasmus_formalize, chiasmus_verify, chiasmus_search, chiasmus_review, chiasmus_learn, etc.). Core subsystems: graph extraction with per-file content-hash caching and snapshot diffing; a formalization engine that selects from 8 built-in skill templates via BM25/embedding retrieval and runs an LLM-driven correction loop against the solvers; a SQLite-backed skill library that learns new templates from verified solutions; and pluggable LLM adapters (Anthropic, OpenAI-compatible, Azure, local via node-llama-cpp). Data flows: source files are parsed by tree-sitter into a CodeGraph, which can be emitted as Prolog facts for symbolic queries or analyzed natively with O(V+E) algorithms (Tarjan SCC, BFS). For verification, a problem statement is embedded, matched to a template, slot-filled by an LLM, linted, and iteratively corrected until the Z3/Prolog solver confirms the property or finds a counterexample. The benchmark suite compares Chiasmus against traditional implementations across RBAC, dependency resolution, taint analysis, workflow validation, and validation consistency. Maintenance is active (v0.1.28, CI on Node 22/24, 70+ test files covering graph extraction, solvers, MCP tools, search, and skills). The codebase is well-engineered with several genuinely reusable components â native graph algorithms, an LRU extraction cache, a BM25 index, and a tsconfig alias resolver â though some coupling exists between the extractor and the TypeScript type environment, and the vendored WASM grammars require periodic upstream syncs.
Odysseus is a self-hosted, full-stack AI assistant platform built with FastAPI (Python) and vanilla JavaScript. It provides a unified workspace for chat with multiple LLM providers (OpenAI, Anthropic, Ollama, local models), deep research with multi-step web analysis, RAG-based memory and document indexing, email/calendar/contacts management via IMAP/CalDAV/CardDAV, an image editor with layers and AI tools, task scheduling, web search, and MCP (Model Context Protocol) server integration. The architecture follows a modular route-per-domain pattern with backward-compatibility shims, a shared SQLite database via SQLAlchemy, and ChromaDB for vector storage. The frontend is a single-page application with streaming markdown rendering, live thinking display, and extensive keyboard shortcuts. The system is designed for multi-user operation with owner-scoped data isolation, atomic file writes for state persistence, and comprehensive security measures including SSRF protection, prompt injection hardening, and secret encryption. It includes a hardware-fit recommendation engine (cookbook) for selecting optimal LLM inference backends (llama.cpp, vLLM, diffusers) based on local GPU capabilities. While primarily an application, it incorporates significant data engineering patterns: embedding lanes with fallback, search result ranking, memory consolidation with near-duplicate removal, and deep research synthesis pipelines. The codebase demonstrates strong engineering practices with extensive regression testing (over 400 test files), CI/CD pipelines, and security scanning. However, it shows signs of technical drift with duplicate code paths (e.g., search ranking in both `src/search` and `services/search`), heavy monkeypatching in tests, and some legacy migration complexity. The project is actively maintained with frequent commits and issue triage.
CopilotKit is a comprehensive SDK and framework designed to integrate AI agents into user interfaces across web, mobile, and chat platforms. It functions as a middleware layer connecting frontend UI components (React, Vue, Angular) with backend agent frameworks (LangGraph, CrewAI, PydanticAI, etc.). The core value proposition lies in its ability to synchronize state between the agent and the UI, support generative UI (A2UI) for dynamic component rendering, and facilitate human-in-the-loop workflows. The repository is structured as a monorepo containing core runtime packages, framework-specific adapters, and an extensive suite of integration showcases. The architecture relies on a centralized runtime (`@copilotkit/runtime`) that handles agent connections via SSE and manages tool execution. Frontend interactions are managed through hooks (`useCopilotKit`, `useAgent`) that subscribe to the runtime. The codebase demonstrates a polyglot approach, supporting Python, TypeScript, Java, and C# backends alongside multiple frontend frameworks. While the core SDK is well-structured, the repository exhibits significant code duplication across its 20+ integration showcases, which serve as both documentation and regression tests.
This repository is the source code for 'Enjoy App', a cross-platform desktop application built with Electron, React, and TypeScript. Its primary function is English language learning, specifically focusing on pronunciation training, shadowing practice, and AI-assisted conversation. The application integrates local speech-to-text (Whisper/Echogarden) and text-to-speech engines alongside cloud-based LLMs (OpenAI, Azure) for chat and translation features. It employs a local-first architecture using SQLite (Sequelize ORM) for data persistence, with synchronization capabilities to a remote backend for backup and community features. The architecture follows a standard Electron pattern with a Main process handling native features, database operations, and media processing (FFmpeg, Echogarden), and a Renderer process serving the React UI. State management is handled via a combination of React Context Providers and custom Redux-like reducers. The codebase includes extensive AI command handlers for tasks like translation, summarization, and pronunciation assessment. While the application is feature-rich and well-structured, it carries significant coupling in media state management and relies heavily on external API contracts for core functionality.
Clarvis AI is a Docker-based orchestration system that combines OpenClaw, claw3d, and curaengine-slicer-api to create an AI-powered 3D printing assistant accessible via Telegram, Discord, or WhatsApp. Users can interact through natural language to generate 3D models from text/images, search existing models, slice them to G-code, and send them to compatible printers. The system features a two-service architecture: a gateway handling AI and chat integrations, and a slicer service providing REST API access to CuraEngine for model slicing. The setup process is automated via a comprehensive bash script that builds Docker images, runs interactive configuration wizards for both OpenClaw and claw3d components, and starts all services. A notable reusable component is the Node.js-based configuration script for claw3d, which uses @clack/prompts to create a polished terminal user interface for gathering settings and outputting JSON configuration. This script exemplifies strong CLI tool design with clear separation of concerns, error handling, and adaptability for reuse in other projects.
This repository is a comprehensive educational guide for Claude Code, an AI coding assistant by Anthropic. It provides copy-paste templates, Mermaid architecture diagrams, and progressive learning modules covering all Claude Code features: slash commands, memory, skills, subagents, MCP, hooks, plugins, checkpoints, advanced features, and CLI usage. The repo also includes production-ready build/validation scripts (EPUB builder, static site generator, link checker, Mermaid syntax checker), multi-language translations (Vietnamese, Japanese, Chinese, Ukrainian), CI/CD workflows, and a design system. It is not a software application itself but a knowledge base with supporting tooling. The architecture is a static documentation site with Python helper scripts and pre-commit hooks. Key entry points are the CLAUDE.md project overview and the numbered module directories (01-10). The repository is actively maintained with frequent updates tracking Claude Code releases.
django-baton is a Django application that transforms the built-in admin interface with a modern, customizable UI. It provides a configurable menu, button themes, form tabs, custom list filters, changelist includes, integrated AI features (translation, summarization, correction, image alt-text and subject location), and an autodiscover admin site. The architecture is a Django reusable app with a Python backend (views, models, filters, templates, and template tags) and a frontend built with Webpack, SCSS, and JavaScript that overlays the admin HTML via signals and template overrides. Key entry points are the `BatonAdminSite` (which auto-registers all models) and the JSON endpoints for menu and AI operations (e.g., `/baton/ai/translate/`). External dependencies include Django, requests (for AI API calls to `baton.sqrt64.it`), and optional rich-text editor integrations. The codebase demonstrates solid craftsmanship with reusable patterns like custom admin filters, a pluggable AI editor adapter, and a config-driven theme system, but some parts are tightly coupled to Baton's global configuration.
Copilot for Xcode is a macOS application that integrates multiple AI code completion and chat services (GitHub Copilot, Codeium, OpenAI, Claude, Google Gemini, Ollama) directly into Xcode as a source editor extension. It provides inline code suggestions, a chat panel with context-aware memory, a prompt-to-code feature, and custom command execution. The architecture is a multi-process system: a host app manages settings and lifecycle, an XPC extension service handles AI requests and workspace state, and an Accessibility-powered widget overlays suggestion and chat panels on Xcode windows. The codebase is heavily modularized into Swift packages (Core, Tool, OverlayWindow) and uses the Composable Architecture (TCA) for state management. While primarily an application, it includes data-centric components like embedding services, vector stores (USearch), and a LangChain-inspired chain abstraction for retrieval-augmented generation, giving it a hybrid character.
LeanKG is a Go-based knowledge graph engine for AI-assisted development. It indexes source code from multi-language repositories into a graph of elements (functions, types, classes) and relationships (calls, imports, implements), stored in SQLite or PostgreSQL with optional vector embeddings for semantic search. The system provides a CLI, REST API, MCP (Model Context Protocol) server, and a React web UI (force-directed graph, file tree, code panel). Core capabilities include incremental indexing with three-signal change detection, a four-tier query ladder (cold/exact/fuzzy/semantic), impact analysis with blast radius, organizational knowledge management (incidents, notes, env reports), ontology matching, federation across servers, and token-budgeted compression for AI tool integration. The architecture is modular: the store backend interface supports SQLite and PostgreSQL with a shared migration ledger; indexing uses regex extractors for 40+ languages with an optional tree-sitter CGO tier; embeddings use a provider abstraction (OpenAI-compatible, llama.cpp sidecar, deterministic). The codebase is well-structured with extensive tests, hermetic test patterns, and deterministic output design. Notable reusability includes the compress package (shell output, git diff), auth token system, store abstraction pattern, and A/B benchmarking harness.
This repository implements an MCP (Model Context Protocol) server that provides semantic code search capabilities for AI assistants. It enables developers to search their codebases by meaning rather than just keywords, using local AI models to ensure privacy and avoid external API calls. The system features semantic code search using embeddings (nomic-embed-text-v1.5 with MRL), incremental indexing with file watching, efficient SQLite-based caching of embeddings, cross-platform package version checking across 20+ ecosystems, workspace switching capabilities, and resource throttling to prevent system overload during indexing. The codebase demonstrates strong engineering practices with proper error handling, modular design, and attention to user experience.
Chat2DB is an AI-powered database client and SQL workspace supporting over 40 databases via a plugin architecture. It provides a full-featured SQL editor with syntax highlighting, autocompletion, and execution, along with database metadata browsing, data import/export, BI dashboards, and an AI assistant that can generate SQL, explain queries, and create charts. The system is designed as a hybrid desktop/web application, with a React/TypeScript frontend (using Ant Design, Monaco Editor, Zustand for state management) and a Java Spring Boot backend with a layered domain model. The desktop version uses JCEF (Chromium Embedded Framework) for native integration, while the web version runs as a standalone server. Database support is modular via SPI plugins, each providing metadata, SQL builders, value processors, and completion logic. The architecture is centered around a plugin system where each database type implements interfaces like IPlugin, IDbMetaData, and IDbManager, enabling extensible multi-database support. The frontend uses Zustand stores with slice-based state management, and the backend provides REST APIs for SQL execution, AI chat, and data management. Key entry points include the frontend main page (CommunityMainPage), backend controllers (e.g., DbSqlController, AiChatController), and plugin registration via META-INF/services. Data flows involve SQL execution requests from the editor to the backend, which delegates to the appropriate database plugin and returns results asynchronously with streaming support for AI and large result sets. External dependencies include Java/Spring Boot, React, Monaco Editor, ANTLR for SQL parsing, ECharts for charts, and various JDBC drivers for database connectivity. The system also integrates with AI model APIs (e.g., OpenAI, Claude) via configurable endpoints. The codebase demonstrates a strong separation of concerns through its SPI plugin pattern and state management slices, though it exhibits some duplication across database plugins and has limited test coverage.
This repository contains the GitHub Copilot Chat extension for Visual Studio Code. It provides an AI-powered coding assistant with multiple interaction modes: inline code completions (ghost text), chat conversations, inline edits, next-edit suggestions, and agent-based tool orchestration. The extension supports multiple AI model providers (OpenAI, Anthropic, Google Gemini, xAI, and bring-your-own-key endpoints) and includes a sophisticated prompt engineering system using JSX-based prompt elements. It integrates deeply with VS Code through dozens of proposed APIs, and features a layered architecture (common/node/vscode) with dependency injection, telemetry, and a simulation test framework. While the README states the project has moved to the main VS Code repository, the codebase shows active development with recent commits and extensive feature work.
Witsy is a feature-rich desktop AI assistant built with Electron and Vue 3. It operates as a Bring-Your-Own-Keys (BYOK) client, aggregating dozens of LLM providers (OpenAI, Anthropic, Google, Ollama, etc.) into a unified chat, agent, and automation platform. The architecture follows a standard Electron main/renderer process split, communicating via IPC, with a Vue 3 frontend and a Node.js backend. Beyond basic chat, Witsy provides a sophisticated agent system supporting multi-step workflows, A2A communication, scheduling, and webhooks. It includes a full RAG pipeline (document ingestion, chunking, embedding, vector search), a plugin system for tools (MCP, code execution, web browsing, image generation), and extensive voice capabilities (STT/TTS with multiple providers). Data is persisted locally as JSON files within workspaces, with a vector database for semantic memory and document retrieval. A key differentiator is its automation layer, which can control the desktop (text selection, pasting, app detection) via platform-specific automators (macOS, Windows, nut-js). It exposes a local HTTP API and a CLI for external integration. The MCP (Model Context Protocol) client allows it to connect to a vast ecosystem of third-party tools. While primarily an application, it contains significant data engineering components (RAG pipeline, memory manager, deep research orchestrator) that are tightly integrated into the app's workflow. The codebase is well-structured with a strong emphasis on testing, though its massive feature surface and reliance on external APIs introduce inherent complexity and maintenance challenges.
Claude Delegator is a Claude Code plugin that provides GPT (via Codex CLI) and Gemini (via Gemini CLI) as specialized expert subagents. It offers five domain experts (Architect, Plan Reviewer, Scope Analyst, Code Reviewer, Security Analyst) that can advise or implement based on task requirements. The plugin uses MCP (Model Context Protocol) to connect to external CLIs, featuring sophisticated delegation logic with proactive triggers, session management (single-shot and multi-turn), and response synthesis. A key innovation is the zero-dependency Gemini MCP bridge that wraps the Gemini CLI in a standard MCP interface.
Agent OS is a framework for AI coding assistants to establish, discover, and inject project standards and shape specifications. It provides a set of markdown commands (commands/agent-os/) that define workflows for common tasks like discovering codebase patterns, maintaining an index of standards, injecting relevant standards into context, planning product vision, and shaping feature specs. These commands are designed to be consumed by tools like Claude Code and Cursor. The repository also includes bash scripts for installing Agent OS into a project, syncing standards back to a base profile, and shared utility functions. The core value is not executable code but a methodology encoded in instructions and shell scripts that enforce a disciplined approach to spec-driven development with AI agents. The codebase is lean, well-structured, and focused on solving the problem of keeping AI agents aligned with team conventions without heavy tooling overhead.
ColorTxt (åŊŠč¯ģ) is a cross-platform desktop ebook reader built with Electron, Vue 3, and Monaco Editor. It focuses on reading local text/ebook files (TXT, EPUB, PDF, MOBI, FB2, CHM) with an extensive feature set: AI-powered reading assistant (chat, RAG, mindmap, wordcloud, character card generation), multi-engine text-to-speech (Edge, MiniMax, DashScope, MiMo, Volcengine, Windows SAPI), dictionary lookup supporting multiple formats (StarDict, MDict, Babylon, DICT), a book source engine fully compatible with Legado (é č¯ģ) for searching and downloading web novels, WebDAV sync for cross-device backup, and deep customization of reading appearance (themes, fonts, line spacing, backgrounds, reading ruler, pomodoro timer). The architecture follows a standard Electron pattern: a main process handles I/O, AI, TTS, networking, and IPC, while separate renderer processes (main reader, find-book, stealth reader) are Vue 3 SPAs communicating via typed IPC through a preload bridge. The codebase is large and feature-rich, demonstrating solid engineering practices (composable patterns, shared type libraries, clean IPC design) but also carries maintenance complexity from the Legado compatibility layer, numerous third-party API integrations, and platform-specific hacks for stealth mode and native modules.
This repository is an Obsidian plugin that integrates GitHub Copilot's AI-powered coding assistance directly into the Obsidian note-taking application. It provides two main features: inline code suggestions as you type (similar to Copilot in IDEs) and a chat interface for interacting with Copilot in a sidebar. The plugin handles authentication with GitHub Copilot, manages conversation history, renders Mermaid diagrams from AI responses, and allows linking to Obsidian notes using [[double bracket]] syntax in chat conversations. The architecture separates concerns into distinct modules for inline suggestions (using LSP protocol) and chat functionality (using direct API calls), with React powering the chat UI and Zustand managing state.
This is a Claude Code plugin and resource library, not a deployable application or data pipeline: 27 slash commands, 9+ autonomous skills, 3 auditor subagents, and extensive prompt-engineering documentation that extend the Claude Code CLI. In production, the system functions as configuration-as-code content consumed by the Claude Code runtime â teaching the assistant how to create executable plans (PLAN.md is the prompt itself), chain meta-prompts, build MCP servers, manage subagent orchestration, run autonomous coding loops (the 'Ralph' technique), and apply iOS/macOS development expertise. The only real executable code is a handful of self-contained scripts: a TypeScript CLI for The Pirate Bay API, Python/TypeScript MCP server templates, project scaffolding shell scripts, and autonomous loop iteration scripts. The dominant architectural pattern is the 'router skill': a SKILL.md entry point with essential principles, an intake gate, a routing table, and progressive disclosure into workflows, references, templates, and scripts â implemented consistently across all skills with pure XML prompt structure and checkpoint-based plan execution. Despite being classified as an application (there is no data-research character â no notebooks, datasets, or pipelines), its substance is largely authored content rather than software. The craft is strong: consistent XML schemas across files, a genuine QA layer (skill-auditor agents), secret hygiene practices, and a well-developed checkpoint/auth-gate protocol for safe automation. However, the repo carries real drift risks: duplicated reference files (research-pitfalls.md, cli-observability.md are copied across skills), dangling references to not-yet-created files, tight coupling to Claude Code's evolving plugin API, version-specific Apple platform guidance that will age, and the included The Pirate Bay skill which depends on a fragile third-party API and presents a content-policy concern. An engineer seeking to reuse this should extract the self-contained templates and scripts (MCP server scaffolding, loop automation) and treat the reference material as opinionated prompt guidance rather than canonical documentation.
Kubewall is a production-grade, open-source Kubernetes dashboard that provides real-time multi-cluster management through a single-binary web application. It combines a Go backend (Echo framework, client-go informers) with a React/TypeScript frontend (Redux Toolkit, shadcn/ui, TanStack Router) to offer live monitoring, YAML editing, pod log streaming, port forwarding, and an AI-powered troubleshooting assistant (kwAI). The architecture relies on Server-Sent Events (SSE) to push Kubernetes resource updates to the browser, with an in-memory informer cache per cluster. The backend exposes REST endpoints for every standard Kubernetes resource type as well as Custom Resource Definitions (CRDs), while the frontend uses virtualized data tables, Radix UI primitives, and lazy-loaded Monaco editor for editing. The system supports multiple kubeconfig authentication methods and includes a Helm chart for deployment.
AppFlowy-Web is a feature-rich collaborative workspace application built with React, TypeScript, and Yjs (CRDT). It provides real-time collaborative document editing via a Slate-based editor, multiple database views (grid, board, calendar, gallery, list, timeline, feed, chart), AI-powered writing assistance and chat, publishing/sharing capabilities, and workspace management. The application is designed as an open-source alternative to Notion, supporting both cloud-hosted and self-hosted deployments. The architecture is a single-page application with Yjs as the core data model for offline-first collaboration, backed by IndexedDB caching and REST/WebSocket APIs. The codebase is extensive (4000+ files) with comprehensive unit and E2E tests, but exhibits moderate technical drift due to mixed UI paradigms (MUI + Radix), complex Yjs observer lifecycle management, and some deprecated environment variable mappings.