A Rust CLI and MCP client for Forma benefit claims that can use optional Jev Choice questions to select from an account's valid benefit/category pairs, falling back to an LLM when Jev finds no match or is not confident.
Jev receives the amount, merchant, purchase date, and description — not receipt images — and selects among valid benefit/category pairs.
Exposes MCP tools including login_start, login_complete, list_benefits_with_categories, list_claims, and create_claim.
The CLI asks for confirmation before submitting by default, while --yolo and the MCP create_claim tool can submit without that prompt.
Receipt inference defaults to the GitHub Copilot CLI, or OpenAI-compatible providers via OPENAI_API_KEY, OPENAI_BASE_URL, and OPENAI_MODEL.
Distributed via Homebrew, Cargo, and direct binaries for macOS, Linux, and Windows; the TypeScript v2.2.0 release remains available.
Quickstart
bash
brew tap timrogers/tap && brew install formanator
formanator login
Watch out
MIT-licensed; needs Rust or a prebuilt binary and a Forma account, Jev selection requires a TypeSafe API key, and PDF receipts additionally require GraphicsMagick and Ghostscript.
A Rust CLI and MCP server that reranks live DuckDuckGo SERPs with Jev and audits SEO/GEO readiness (schema, robots.txt, sitemaps, llms.txt) with a fifty-rule engine, no paid SEO subscriptions, and a local SQLite history.
A Rust CLI and stdio MCP server that grounds repository and crate discovery in live GitHub and crates.io metadata, then lets Jev score candidates so only verified, installable packages are returned.
A Rust coding-agent harness and TUI that uses Jev to pick a model and effort, route bounded utility work, and decide what context to keep, with code constraining every choice and validating results.
I've been using Jev by @typesafeai Here's the six things i've tried and am confident I'll still use Jev for 60 days from now.
There's many more experiments, ideas, and things I think I will use it for. It's a big deal (more on why in next post).
But I am only sharing thingsShow more
This made me rethink where AI actually fits into security engineering.
For purely engineering work, forget about ChatGPT or Claude.
TypeSafe AI just released Jev, and I think it’s going to change how we build AI into security workflows.
Instead of asking an LLM to “investigateShow more
TypeSafe AI
@typesafeai
we are officially out of stealth! join the frontier and get access to Jev on our website (link on profile)