midspiral/lemmascript
verification toolchain for TypeScript (Tech Preview)
verification toolchain for TypeScript (Tech Preview)
OpenBrowser is a framework for intelligent browser automation. It combines direct CDP communication with a CodeAgent architecture, where the LLM writes Python code executed in a persistent namespace, to navigate, interact with, and extract information from web pages autonomously.
Procedural risograph films in single HTML files (Window Seat, Roost and more), with the Claude Code skills, docs and tools to make your own.
Generate beautiful, on-brand HTML artifacts with AI coding agents.
Jev demos, projects, SDKs and skills, with source links and a curated X gallery.
Use Jev to make art!
Stops AI coding agents from claiming work is done without evidence. Deterministic hooks decide, TypeSafe's Jev advises. Append-only ledger, zero runtime dependencies.
High-performance neural networks engine for web, built on top of TypeGPU
A Datastar Go web frontend framework.
Free, open-source email signature generator. Single HTML file, no sign-up, no server.
An AI assistant that lives in your browser. Built for collaboration, not autonomy theater. You guide, it executes. Automate repetitive web tasks, extract data from any website, and transform it into whatever you need.
📦✨ AI Builder For Creating Sites and Apps! An open-source alternative to Lovable, Replit, v0, and similar platforms.
Codebase search powered by Jev from @typesafe-ai.
Fast, cheap, typed judgments from TypeSafe's Jev model, as MCP tools.
Per-turn model & reasoning routing for Codex, driven by Jev (TypeSafe System One): picks the model, thinking depth and speed mode for every turn.
Agent skills for Qdrant vector search: scaling, performance optimization, search quality, monitoring, deployment, model migration, version upgrades, and SDK usage across Python, TypeScript, Rust, Go, .NET, Java
A curated list of awesome Jev / TypeSafe System One applications, libraries, and resources.
You.com skills and plugins for web search, content extraction, research, finance, and integration discovery, helping AI agents build with up-to-date web context.
Open-source metasearch backend, MCP server, and AI search API for LLM agents. Python FastAPI search gateway with Google search via SerpBase and Serper, multi-engine search aggregation, structured JSON output, provider fallback, deduplication, and SearXNG alternative architecture for agent workflows.
A very fast document classifier/splitter using Jev - GitHub - jerryjliu/docjev: A very fast document classifier/splitter using Jev
Dotted thought-orb loading indicators for AI & agent UIs, 9 tuned types, two sizes, auto dark/light
Open-source starter demos for HarnessRouter: run agent harnesses such as Codex and Claude Code as your product backend through one API.
尝试改善 Codex 降智、限流与连接体验。本地一键启动、网页配置修复,支持 Astra / Sol / Terra、订阅和代理;不保证取得指定 state 或提升模型质量。
Pure-Go HTML template engine: HTML→PDF and HTML→image for invoices, certificates, storybooks, posters, statements, and tables. No browser, no cgo, wkhtmltopdf work-alike.