Stars
TypeDB 3 client for Lean 4: compile-time checked transactions, typed TypeQL, fast batched decoding, a lightweight ORM and migrations, over the official C driver.
Agent memory on TypeDB: an Elixir library with an MCP server. Remembers with time, provenance and scope; recalls deterministically; never deletes a memory.
Agent Executor (AX) is Google's open agentic orchestration runtime
SATRAP-DL: Semi-Automated Threat Reconnaissance and Analysis Powered by DECIPHER Logic. A suite of tools for computer-aided CTI analysis and automated incident handling informed by CTI, provided re…
dbmate style migration tool for typedb using tql 3.0
An Elixir driver for TypeDB 3.x, built on the TypeDB HTTP API and gRPC
An MCP server for TypeDB that prioritizes agent affordances and safety.
Memori is agent-native memory infrastructure. A LLM-agnostic layer that turns agent execution and conversation into structured, persistent state for production systems. Built for enterprise, Memori…
📑 PageIndex: Document Index for Vectorless, Reasoning-based RAG
Spec-driven development (SDD) for AI coding assistants.
The agent that grows with you
Coding + OpenClaw AI agents to drive general curation / sense-making tasks
Local UI to run and train LLMs and diffusion models. Supports GGUF, MLX, Qwen3.8, DeepSeek-V4.1, MiniMax-H3, Gemma 4, FLUX and more.
An agentic skills framework & software development methodology that works.
A light-weight and powerful meta-prompting, context engineering and spec-driven development system for Claude Code by TÂCHES.
Vera: a programming language designed for LLMs to write
The AI that really does things. Any OS. Any Platform. The lobster way. 🦞
Okou connects to the tools your team already uses and does the work — across marketing, sales, engineering, and operations, under your control.
🤗 smolagents: a barebones library for agents that think in code.
Flexible and powerful tensor operations for readable and reliable code (for pytorch, jax, TF and others)
The official Python SDK for the Agentica agent framework from Symbolica
The official TypeScript SDK for the Agentica agent framework from Symbolica
The official server application for running agents within the Agentica framework from Symbolica