Froglet
io.github.armanas/froglet
About Froglet
Froglet is an MCP server published by the GitHub account armanas. Run local Froglet verifiable compute, signed receipts, settlement, and service publication.
It runs on your own machine: your AI client starts it from the npm package froglet-mcp at version 0.4.0.
It asks for no keys or passwords.
Version 0.4.0 was published on 30 June 2026, and the source code is public, so you can read it before installing.
Written from the registry entry. 9 automated checks on the registry entry and the package code: 6 pass, 1 warn, 0 fail, 2 info. How we check.
What it asks for
This server declares no environment variables, so it asks for no keys or settings.
Checks
| Check | Result | Detail |
|---|---|---|
| Source repository linked | Pass | https://github.com/armanas/froglet |
| Version pinned | Pass | Every package has an explicit version |
| Secrets requested | Info | Asks for no secrets |
| Known package registry | Pass | All packages come from npm, PyPI, OCI, NuGet or MCPB |
| Namespace ownership | Info | Name verified via GitHub account armanas |
| Registry text aimed at the AI | Pass | Description and settings contain no hidden characters or instructions to the AI |
| Install scripts | Pass | froglet-mcp@0.4.0 runs nothing at install |
| Code red flags | Warn | Downloads and runs a script (integrations/shared/froglet-lib/tool-dispatch.js:588: "curl -fsSL https://froglet.dev/agent | bash") |
| Text aimed at the AI | Pass | No hidden characters or instructions to the AI in 19 files, including comments and the README |
Popularity & health: 61 / 100
Worked out from public numbers and our own checks, not from user reviews or ratings. It says how used and how looked-after a server is, not whether it is safe.
1 forks, 30 merged pull requests. Sources: GitHub, npm, PyPI (pypistats.org) and Hacker News (Algolia), fetched 2026-10-31.
What people say
No Hacker News threads link to its source code.
Look further: search Reddit, search Hacker News, read its GitHub issues. These are not reviews we checked.
Facts
| Registry name | io.github.armanas/froglet |
|---|---|
| Publisher | GitHub account armanas |
| How the name is verified | Name verified via GitHub account armanas. The registry ties the name prefix to that account or domain; it does not check the code. |
| Type | Local: runs on your machine from a package |
| Packages | npm froglet-mcp 0.4.0 (stdio) |
| Version | 0.4.0 |
| Published | |
| Last updated | |
| Source repository | https://github.com/armanas/froglet |
| Website | https://froglet.dev |
| Category | Agent safety & governance (assigned by keyword rule, not by hand) |
Related servers in Agent safety & governance
- aga-mcp-server7/7Verifiable decision records for AI agents: signed receipts for…
- kasbah-mcp7/7Governance layer for agentic AI — signed, verifiable receipts for…
- agent-receipts7/7Ed25519-signed receipts for every AI agent action. Local-first,…
- farpy3/3FARPY routes GPU workloads to qualified compute and returns…
- computeledger7/7Signs, hash-chains, and verifies compute usage receipts via an MCP…
- sdcreceipt7/7Verify and settle VSL Settlement Receipts. Verification needs no…