5
Published Tools
0
Total Stars
31
Weekly Downloads
0
GitHub Followers
25
Public Repos
Published Tools
4 MCP Servers1 Agentacross 4 categorieseleata
MCP server for grounding / hallucination checking: verify a claim against evidence (Supported/Refuted/Not Enough Evidence) — for AI agents.
...moreeleata
MCP server to validate EU e-invoices (Peppol, XRechnung, Factur-X, UBL/CII) and explain validation error codes — for AI coding agents (Claude, Cursor, Copilot).
...moreeleata
MCP server for the Eleion security scanner: register and verify your domains, queue security scans, and read the findings — for AI agents.
...moreHernán Inverso
Static budget certificates for LLM-agent workflows (LangGraph / CrewAI / OpenAI Agents SDK). Backed by a machine-checked (Lean 4) cost-soundness theorem.
...moreeleata
MCP server: static worst-case token-budget analysis for LLM-agent workflows (LangGraph/CrewAI/OpenAI-Agents) + signed budget certificates.
...more