Java

A multi-tenant MCP server for structured, semantics-aware code refactorings. It supports real refactorings like rename, extract, inline, and organize-imports, with project registration, diff previews, and support for Java, Rust, and TypeScript/JavaScript.

AI inference for the JVM with chat, vision, embeddings, and text-to-speech, plus Java-first building blocks and example snippets.

An open-source C compiler written in Java, with a preprocessor, parser, semantic analysis, TAC lowering, a VM, and an interactive C shell. The repo also includes an x86-64 assembler, build and test instructions, and concrete proof points like passing Lua and curl test suites.

Forall is an AI coding agent from Astrio that generates spec-driven code with machine-checkable proofs. The repo shows two usage paths: a CLI workflow and a hosted MCP verify-only mode for tools like Cursor, Claude Code, or Codex.

A pure-Java UI toolkit for building admin panels and internal tools, with AI-agent-friendly structures and examples for human-in-the-loop workflows.

A Java framework for building stateful multi-agent workflows on top of Spring AI, with graphs, routing, retries, checkpoints, and shared state.

A reference implementation for intent-execution separation in LLM agents. The project uses a typed intent layer (SIF) over domain vocabularies, with a deterministic execution layer and demo domains for legal and veterinary workflows.