Skip to content
View lagosrui's full-sized avatar
4 followers · 10 following

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx2

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx2

Block or report lagosrui

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
lagosrui/README.md

Rui Lagos

Building infrastructure and trust tooling for autonomous AI agents.

Current focus

  • Human approval workflows for AI agents
  • Safe tool execution and permissioning
  • MCP risk and audit logs
  • Replayable agent runs and secure infrastructure

Recent public work

  • sn5-solver - ARC-AGI solver for Bittensor Subnet 5
  • tf-site-json-to-yaml-converter - small developer utility built with Astro

Links

Popular repositories Loading

  1. PROJECT PROJECT Public

    Placeholder repo from 2022

    2

  2. lagosrui lagosrui Public

    Profile README for Rui Lagos

    2

  3. lagosrui.github.io lagosrui.github.io Public

    Personal site in progress

    HTML 2

  4. encode-Wekendproject_1 encode-Wekendproject_1 Public

    Hello World Solidity contract from Encode Solidity Bootcamp 2023

    Solidity 2

  5. encode-Wekendproject_2 encode-Wekendproject_2 Public

    Solidity bootcamp Weekend Project 2 from Encode Solidity Bootcamp 2023

    TypeScript 2

  6. Weekend-Project-2-Encode-BootCamp Weekend-Project-2-Encode-BootCamp Public

    Forked from rodrigossbcg/Weekend-Project-2-Encode-BootCamp

    Ballot contract Hardhat environment from Encode Solidity Bootcamp 2023

    TypeScript 2 1