Search
codelogician
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.
...moreinfer-check
Correctness and reliability testing for LLM inference engines
zmesh-cli
zMesh Team
The AI-first Backend as a Service — Database, Edge Functions, Storage, AI Gateway from your terminal.
wordcel
Andrew Han
Swiss army-knife for composing LLM outputs
franklinwh-cloud
david2069
Unofficial Python client library and CLI for FranklinWH energy storage systems via the Cloud API
py-pure-client
Pure Storage
Pure Storage Python clients for FlashArray, FlashBlade, and Pure1 APIs
offlineai-local
offlineai-local
Offline local-LLM helper (llama.cpp + GGUF) with Python API and CLI.
compute-cfo
Cost tracking, attribution, and budget enforcement for OpenAI, Anthropic, Gemini, and Mistral APIs
ntnx-objects-py-client
Nutanix Objects Storage Management APIs
infragraph
Infrastructure as a Graph
arize-phoenix-evals
LLM Evaluations
115cli
Xavier-Lam
An unofficial CLI tool and higher-level Python API client for 115.com cloud storage service
blivet
Python module for system storage configuration
axiom1
ErebusTN
AXIOM-1: The first EGen Core language model by EGen Labs / ErebusTN
je-editor-dev
JEditor is basic but powerful editor include GPT
flashlite
Batteries-included wrapper for litellm with rate limiting, retries, templating, and more
graphrag-common
Mónica Carvajal
Common utilities and types for GraphRAG
graphrag-chunking
Mónica Carvajal
Chunking utilities for GraphRAG
graphrag-storage
Mónica Carvajal
GraphRAG storage package.
graphrag-input
Mónica Carvajal
Input document loading utilities for GraphRAG