Back to directory

Invarail

Invarail is a local, self-hosted authority layer for AI agents that separates what an agent is allowed to do from what it can learn to do, sitting in front of interchangeable workers for coding, repeatable procedures and open-ended tasks.

Invarail

Invarail runs entirely on the user's own hardware and is deliberately layered: an authority plane holds permissions, target-bound grants, a confirmation ledger and audit trails that the agent cannot modify from inside, so learning may inform what it does but can never expand what it is allowed to do. Above that sits a daily-driver layer offering chat with graph memory, research reports, briefings, scheduling and image generation through adapters for Discord, Telegram, Gmail, the web and Chrome.

Execution itself is split between two patterns used side by side: known procedures run through a router and deterministic pipelines so the model only extracts parameters, while open-ended problems are handed to a small model with a bounded set of general tools such as read, edit, write and a scoped shell, inside acceptance criteria it must satisfy.

It targets small local models in the 7 to 30 billion parameter range and is written in TypeScript, released under the MIT license.

More in Agent frameworks

See all 902
  • Recurse

    recurse.run

    A serverless harness that lets a coding agent design, test, and deploy its own specialist sub-agents as tools, MCP servers, or bots, defined by a schema-validated manifest.

  • ProofForge

    shulgin.is-a.dev

    An AI-agent pipeline that decomposes a mathematics problem, proves each piece, and formalizes the result in Lean 4 and Mathlib until the Lean kernel accepts it, with six of its proofs already merged into Google DeepMind's formal-conjectures repository.

  • local-coder

    github.com

    Builds a local coding-agent team on top of Ollama and OpenCode by detecting the machine's hardware, recommending models for seven specialist roles, and testing whether each assigned model can actually use tools, edit a repository and pass verification.