Stars
The FATE (Formal Algebra Theorem Evaluation) benchmarks.
OpenATP is an open-source Python package providing a common interface for Automated Theorem Proving (ATP)
Repository of hands-on code examples from "Diagram as Code." Each snippet mirrors the book's sections, offering direct interaction with diagrammatic notations. A practical companion to the book, en…
Production-grade LlamaIndex agentic system skill for Claude Code. Covers semantic ingestion, property graphs, context RAG, event-driven workflows, and Phoenix observability. Supports 14+ AI coding …
Public repo for SkillWaveAI Knowledge base and issues reporting.
A curated collection of fun and creative examples generated with Nano Banana & Nano Banana Pro🍌, Gemini-2.5-flash-image based model. We also release Nano-consistent-150K openly to support the commu…
An open-source AI coding agent that lives in your terminal.
The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.
MCP server for long term agent memory with Mem0. Also useful as a template to get you started building your own MCP server with Python!
🔍 A Model Context Protocol (MCP) server providing unified access to multiple search engines (Tavily, Brave, Kagi, Exa), AI tools (Kagi FastGPT, Exa, Linkup), and content extraction services (Firecr…
A secure REST API and Model Context Protocol (MCP) server for your vault.
cybernetics / plandex-ai
Forked from plandex-ai/plandexOpen source AI coding agent. Designed for large projects and real world tasks.
🐙 Guides, papers, lessons, notebooks and resources for prompt engineering, context engineering, RAG, and AI Agents.
A simple task management system for managing AI dev agents
Context engineering is the new vibe coding - it's the way to actually make AI coding assistants work. Claude Code is the best for this so that's what this repo is centered around, but you can apply…
Prompts, workflows and more for agentic engineering
[ARCHIVED — superseded by skillos] Browser-native markdown agent workspace. Not related to llm_os.
just-prompt is an MCP server that provides a unified interface to top LLM providers (OpenAI, Anthropic, Google Gemini, Groq, DeepSeek, and Ollama)
🧠 An adaptation of the MCP Sequential Thinking Server to guide tool usage. This server provides recommendations for which MCP tools would be most effective at each stage.
Communicate your work with diagrams in seconds with GenAI + Mermaid
Prompt focused MCP Server for .json and .csv agentic data analytics for Claude Code
Scale your compute with Claude Code as a programmable agentic coding tool
An AI-powered research assistant that performs iterative, deep research on any topic by combining search engines, web scraping, and large language models. The goal of this repo is to provide the si…
A series of DAGs/Workflows to help maintain the operation of Airflow
Dockerized monitoring stack for Apache Airflow
The most powerful and modular diffusion model GUI, api and backend with a graph/nodes interface. The fastest local inference engine in the world.