AgentDish directory
Java
Accepted listings with this tag.
| Listing | Category | Score | Trend | Checked | |
|---|---|---|---|---|---|
#443
↓ -6
Forall
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. |
AI Development / Coding Agent | 84 | ↓ -6 | 45 hours ago | Details |
#585
↓ -6
server-components
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. |
Developer Tools / AI Development Tooling | 84 | ↓ -6 | 70 days ago | Details |
#610
↓ -3
spring-agent-flow
A Java framework for building stateful multi-agent workflows on top of Spring AI, with graphs, routing, retries, checkpoints, and shared state. |
Developer Tools / AI Agent Framework | 84 | ↓ -3 | 73 days ago | Details |
#848
↓ -1
OntoCortex
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. |
AI Developer Tool / Agent framework | 80 | ↓ -1 | 22 days ago | Details |