-
HAI
- San Francisco
- https://hai.ai
Highlights
- Pro
Stars
A curated list of awesome Claude Skills, resources, and tools for customizing Claude AI workflows
RamaLama is an open-source developer tool that simplifies the local serving of AI models from any source and facilitates their use for inference in production, all through the familiar language of …
Build Real-Time Knowledge Graphs for AI Agents
SerpApi MCP Server for Google and other search engine results
Open source, zero webhooks payment provider
🌐 Make websites accessible for AI agents. Automate tasks online with ease.
Use Claude Code as the foundation for coding infrastructure, allowing you to decide how to interact with the model while enjoying updates from Anthropic.
pg_lake: Postgres with Iceberg and data lake access
Stream your Postgres data anywhere in real-time. Simple Rust building blocks for change data capture (CDC) pipelines.
Rust GUI components for building fantastic cross-platform desktop application by using GPUI.
Backlog.md - A tool for managing project collaboration between humans and AI Agents in a git ecosystem
Merkle tree implementation in Rust with configurable storage backends and hash functions. Fixed depth and incremental only. Optimized for fast proof generation.
All-in-one Mail & Collaboration server. Secure, scalable and fluent in every protocol (IMAP, JMAP, SMTP, CalDAV, CardDAV, WebDAV).
A high-performance self-hosted JSON Schema registry that transforms your existing Git repositories of schemas into searchable, discoverable schema catalogs with enterprise-grade governance capabili…
Agent Reinforcement Trainer: train multi-step agents for real-world tasks using GRPO. Give your agents on-the-job training. Reinforcement learning for Qwen2.5, Qwen3, Llama, and more!
AG-UI: the Agent-User Interaction Protocol. Bring Agents into Frontend Applications.
Authentication, analytics, and prompt visibility for MCP servers with zero code changes. Supports OAuth2.1, DCR, real-time logs, and client onboarding out of the box
Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
This crate provides core types for interoperating with IPLD.
Cloud-native search engine for observability. An open-source alternative to Datadog, Elasticsearch, Loki, and Tempo.