4 packages found
Secure local MCP bridge for ChatGPT and local agents with workspace-scoped tasks, safe summaries, audits, and Direct edi
[DEPRECATED] Moved to microsoft/agent-governance-toolkit
Open-source runtime security and governance for AI agents, MCP tools, robotics, industrial automation, and physical AI.
LLM agents that write machine-checked cryptographic proofs in EasyCrypt (arXiv:2607.02847)