🎯
Focusing
Pinned Loading
-
IndustriAgents/OPCUA-MCP
IndustriAgents/OPCUA-MCP PublicMCP server that connects AI agents ( Claude, ChatGPT, Gemini, Cursor etc.) to OPC UA systems — read, browse, history, subscriptions, events and alarms.
-
rank-conditioned-sample-reuse
rank-conditioned-sample-reuse PublicReference implementation + numerical certificates for 'Rank-Conditioned Sample Reuse for the Plackett-Luce Best-of-K Objective' (Jolly & Xavier, 2026)
Python
-
IndustriAgents/IndustriConnect
IndustriAgents/IndustriConnect PublicTen MCP servers, one per industrial protocol — Modbus, OPC UA, PROFINET, EtherNet/IP, EtherCAT, PROFIBUS, S7comm, BACnet, DNP3 and MQTT — each shipping with a mock device.
-
NordicAgents/AgentProof
NordicAgents/AgentProof PublicFormal verification for Agentic Workflows
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.





