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.

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.