Avatar for Hernan Inverso from gravatar.com

Hernan Inverso

Username    Eleata
Date joined   Joined

2 projects

costwright

Last released

Static budget certificates for LLM-agent workflows (LangGraph / CrewAI / OpenAI Agents SDK). Backed by a machine-checked (Lean 4) cost-soundness theorem.

memento-ai

Last released

Your codebase, remembered. AI-powered living memory for git projects.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page