Lessons learned building Fronteira, an MCP proxy with behavioral guardrails

发生了什么

I work on the intersection of AI, Software Engineering and Programming Languages. Currently, I am applying Formal Methods to Agents, towards AI Safety.

摘要按规则整理自下方来源原文

来源