Skip to content
View Aditya-PS-05's full-sized avatar
🦀
Never bored
🦀
Never bored
28 followers · 187 following

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Quickdraw

Highlights

Block or report Aditya-PS-05

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
Aditya-PS-05/README.md

Hi, I’m Aditya,

I’m a software engineer and currently a student at NIT Trichy and a rust programmer. I have worked as a full stack developer at Stealth AI Startup and built https://runitup.ai from scratch. More about me.

The best way to reach me is via email at adipras1407@gmail.com.

Currently Building

  • Veredic Veredic is a security framework that applies formal verification to AI agent protocols, ensuring every interaction satisfies provable safety guarantees. It combines runtime monitoring with static analysis to detect and prevent vulnerabilities in real time with minimal performance overhead.

My Other Projects

  • Codesm An AI coding agent built for terminal with Python. Live at https://codesm.adityaps.work

  • Glintly Glintly lets users describe an app in plain English and watch an AI agent build it in real time . Live at http://glintly.adityaps.work

  • tryaudex Scoped, short-lived AWS credentials for AI agents and automation. Wrap any command with temporary IAM permissions that auto-revoke on exit. Full audit trail, MCP integration, zero secrets on disk. . Live at http://tryaudex.adityaps.work

  • Piq Local-first bucket list app for Android. Dump things you want to try, shake your phone, do the thing. Flutter + SQLite, zero accounts, zero cloud. Live at http://piq.adityaps.work

  • Visirs A rust library to visually group images and videos.

You can also find me on:

Pinned Loading

  1. Jotion Jotion Public

    Real-time collaborative docs, nested pages, rich block editor, cover images, emoji icons, trash/restore, public publishing, and light/dark themes.

    TypeScript 1

  2. codesm codesm Public

    An AI coding agent for the terminal. Built to study how coding models fail.

    Python 4 3

  3. tryaudex tryaudex Public

    Scoped, short-lived AWS credentials for AI agents and automation. Wrap any command with temporary IAM permissions that auto-revoke on exit. Full audit trail, MCP integration, zero secrets on disk.

    Rust

  4. Glintly Glintly Public

    Glintly lets users describe an app in plain English and watch an AI agent build it in real time

    TypeScript 1