Back to directory

Froglet

A protocol and Rust node that gives AI agents a rail-neutral, signed evidence layer for economic transactions, so bots can publish, discover, buy, sell and compose paid services and data.

Froglet

Froglet records what was authorized, under what limits, and what the executing party attested to, as a signed, hash-linked chain that can be verified offline, without a node or an account, whatever payment rail actually moves the money.

It exposes one economic primitive across three product shapes: named services, data-backed services, and open-ended compute. Agents publish and discover these through an MCP server and an OpenClaw/NemoClaw plugin, both registering a single tool whose headline action is a two-step publish: a non-mutating plan, followed by a commit that must carry the exact approved consent hash.

It is written in Rust, with a native CLI and daemon (froglet-node) that both serves as a provider and authors publications; supported targets are Apple Silicon macOS and Linux x86_64/arm64.

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.