Verified code context for agents

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

Zonos-v0.1 is a leading open-weight text-to-speech model trained on more than 200k hours of varied multilingual speech, delivering expressiveness and quality on par with—or even surpassing—top TTS …

Get up and running with Kimi-K2.6, GLM-5.1, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and other models.

LLM inference in C/C++

No fortress, purely open ground. OpenManus is Coming.

YC (S26) | AI that knows what you've seen, said, or heard. Records everything you do, say, hear 24/7, local, private, secure. Connect to OpenClaw, Hermes agent and 100+ apps

A programming framework for agentic AI

A language model programming library.

The agent engineering platform.

Prometheus adapter for metrics from hasura

Stable Diffusion web UI

A love letter to the Elite Dangerous racing community ❤

CycloneDX CLI tool for SBOM analysis, merging, diffs and format conversions.

Open Source Flight Controller Firmware

Java interface for running YQL queries

A minimalistic and high-performance SAT solver

Open Fortran Parser

jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to many SMT solvers.