Search

CodeLogician applies neurosymbolic AI to translate source code into precise mathematical logic, striving to create a formal model of the program's behavior that's functionally equivalent to the original source code. Use with tools like Claude Code or by itself.

Correctness and reliability testing for LLM inference engines

The AI-first Backend as a Service — Database, Edge Functions, Storage, AI Gateway from your terminal.

Swiss army-knife for composing LLM outputs

Unofficial Python client library and CLI for FranklinWH energy storage systems via the Cloud API

Pure Storage Python clients for FlashArray, FlashBlade, and Pure1 APIs

Offline local-LLM helper (llama.cpp + GGUF) with Python API and CLI.

Cost tracking, attribution, and budget enforcement for OpenAI, Anthropic, Gemini, and Mistral APIs

Nutanix Objects Storage Management APIs

Infrastructure as a Graph

LLM Evaluations

An unofficial CLI tool and higher-level Python API client for 115.com cloud storage service

Python module for system storage configuration

AXIOM-1: The first EGen Core language model by EGen Labs / ErebusTN

JEditor is basic but powerful editor include GPT

Batteries-included wrapper for litellm with rate limiting, retries, templating, and more

Common utilities and types for GraphRAG

Chunking utilities for GraphRAG

GraphRAG storage package.

Input document loading utilities for GraphRAG