Tejas Karan Agrawal
@floating-astronaut
2
Published Tools
1
Total Stars
118
Weekly Downloads
8
GitHub Followers
14
Public Repos
100/100
Avg Security
Published Tools
2 MCP Serversacross 2 categoriesfloating-astronaut
A
Replace your dev team: an operating system for a coordinated Claude Code, Codex and Kimi AI coding team. Docs-first lanes, zero-drift handoffs. MIT.
...moreMCP Serverdevtools
11 dir
floating-astronaut
QED Proof as an MCP server: submit an AI agent's claim, read the verdict QED Proof reached by checking the destination, and verify a signed receipt offline.
...moreMCP Servermcp
118/wk1 dir