Stars
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…
MCP Toolbox for Databases is an open source MCP server for databases.
Logic Language for LLMs 🌱🐋🌍 Build Neuro-Symbolic AI for learning and reasoning
DSPy: The framework for programming—not prompting—language models
Invoicing, Time tracking, File reconciliation, Storage, Financial Overview & your own Assistant made for Freelancers