VellaVeto – Fail-closed runtime proxy for MCP tool calls, in Rust
Formal verification + 20 threat layers for AI agent security at sub-5ms latency.
Fail-closed, TypeScript-first multi-tenancy for Node.js - one tenant-isolation contract across Express, Next.js, AdonisJS & NestJS with Prisma, Knex, Lucid, TypeORM, Sequelize & Mongoose.
Fail-closed guarantee prevents data leaks when tenant context is missing.
Node.js backend developers building SaaS applications
multitenant · tenanti · SaaS Pegasus
Formal verification + 20 threat layers for AI agent security at sub-5ms latency.
PostgreSQL RLS multi-tenancy is cleverly implemented; crowded CRM space dilutes impact.
Deterministic offline verification of AI pipeline outputs with Merkle hashing—novel framing, early stage.
Fail-closed MCP gateway with formal verification and MCPSEC benchmark suite.
Integrity-first config substrate with hash-linked history and cryptographic replay verification.
MCP server that halts AI agents to show executable plans as editable graphs—real friction point solved.