A lightweight, powerful framework for multi-agent workflows and voice agents

A lightweight, powerful framework for multi-agent workflows

A curated list of information and resources about authorization.

A collection of skills for AI financial analysis and trading.

Convert PDF to markdown + JSON quickly with high accuracy

OpenViking is an open-source context database designed specifically for AI Agents(such as openclaw). OpenViking unifies the management of context (memory, resources, and skills) that Agents need th…

An Open-Source Asynchronous Coding Agent

from vibe coding to agentic engineering - practice makes claude perfect

Real-time global intelligence dashboard. AI-powered news aggregation, geopolitical monitoring, and infrastructure tracking in a unified situational awareness interface

TradingAgents: Multi-Agents LLM Financial Trading Framework

Fast, accurate & comprehensive text measurement & layout

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Staging repo for development of native port of TypeScript

TypeScript & JavaScript Language Server

A powerful MCP toolkit for coding, providing semantic retrieval and editing capabilities - the IDE for your agent

Lightweight coding agent that runs in your terminal

General plug-and-play inference library for Recursive Language Models (RLMs), supporting various sandboxes.

Super basic implementation (gist-like) of RLMs with REPL environments.

Implementation of Recursive Language Model (RLM) with LangGraph and Chainlit real time UI visualization.

Unified diff python parsing/metadata extraction library

File cache with diff tracking for AI coding agents. Drop-in MCP server that cuts token usage by 26%.

A lightweight, lightning-fast, in-process vector database

Notes of the book System Desgin Interview - An Insider's Guide

Lists of company wise questions. Every csv file in the companies directory corresponds to a list of questions on leetcode for a specific company based on the leetcode company tags. Updated as of 20…

A verifier for automated and interactive proofs about transition systems.

mini cli search engine for your docs, knowledge bases, meeting notes, whatever. Tracking current sota approaches while being all local

Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…

The personal finance app for everyone

PostgreSQL driver and toolkit for Go

MCP Toolbox for Databases is an open source MCP server for databases.