Deterministic, AI-driven development flows.

Multi-language guide to type-safety techniques. What each type system feature enforces, across Python, Rust, Scala 3, and Lean 4. Installable as a Claude Code plugin.

Omnigent is an open-source AI agent framework and meta-harness: orchestrate Claude Code, Codex, Cursor, Pi, and custom agents — swap harnesses without rewriting, enforce policies and sandboxing, an…

Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote.

Scala 3 client for pgmq (Postgres Message Queue)

TACIT — Tracked Agent Capabilities In Types

Python tool for converting files and office documents to Markdown.

Agent skill that generates rich HTML pages or slide decks for diagrams, diff reviews, plan audits, data tables, and project recaps

Agent harness to make your slop code well-engineered and beautiful.

An open testing platform that probes HTTP/1.1 servers against RFC 9110/9112 requirements, smuggling vectors, and malformed input handling. Add your framework, get compliance results automatically.

Cross-compilation of Scala Native applications using zig toolchain

Scala 3 native binding generator + libclang facade

Mobile and Web client for Codex and Claude Code, with realtime voice, encryption and fully featured

Shannon is an autonomous, white-box AI pentester for web applications and APIs. It analyzes your source code, identifies attack vectors, and executes real exploits to prove vulnerabilities before t…

JDBC Implementation for Scala Native

A project for generating C bindings from Rust code

A lightweight sandboxing tool for enforcing filesystem and network restrictions on arbitrary processes at the OS level, without requiring a container.

A light-weight and powerful meta-prompting, context engineering and spec-driven development system for Claude Code by TÂCHES.

A Unified MCP Server Management App (MCP Manager).

Use the world of Python from the comfort of Scala!

Helpers for setting up an embedded Python interpreter

💫 Toolkit to help you get started with Spec-Driven Development

Agentic and LLM Programming in Scala

Simultaneous speech-to-text models

Infrastructure as TypeScript

A template for cross-platform, cross-versions Scala Library

The first Scala macros' standard library

Scala client for OpenAI, Claude, and compatible APIs

Type-level & seamless command-line argument parsing for Scala