Formal
Use Cases How It Works Features Customers Blog Docs
Log in Get a demo

Blog

PSA: fork() considered harmful in macOS Aug 25, 2026 The Metabase Zero Day and the Case for Enhanced Data-Layer Security Aug 11, 2026 Announcing Connector v2.0.0 Jul 8, 2026 Security Debt We Never Created May 7, 2026 Stop Building Scaffolding: Who Cares About MCP vs CLI Mar 14, 2026 Editing Code Visually Without Sacrificing Fidelity Jan 29, 2026 Using Proxies to Hide Secrets from Claude Code Jan 13, 2026 Introducing Fine Grained Control for Connector Logs Dec 17, 2025 Allowlisting Some Bash Commands is Often the Same as Allowlisting All with Claude Code Nov 5, 2025 From Security Problem to Security Solution Oct 30, 2025 Formal Named Cloud Security Segment Leader in Latio Market Report Oct 14, 2025 The Permission Pitfall: Securing MCP Servers Without Limiting Value Jun 3, 2025 Down the Rabbit Hole: Implementing SSH Port Forwarding over AWS Session Manager Feb 7, 2025 Building a Protocol-Aware Reverse Proxy: Lessons from Handling MongoDB's Unique Framing Jan 3, 2025 Formal Comes Out of Stealth with $6.8M in Funding to Secure the Modern Data Stack Nov 19, 2024
Formal

Network security for AI agents. Least privilege on every request, for every agent and human.

Customers

  • Cursor
  • Notion
  • Gusto
  • Modern Health
  • ManoMano

Blog

  • fork() considered harmful in macOS
  • The Metabase Zero Day and the Case for Enhanced Data-Layer Security
  • Announcing Connector v2.0.0
  • Security Debt We Never Created
  • Stop Building Scaffolding

Resources

  • Documentation
  • Blog
  • Customers
  • Status

Company

  • About
  • Careers
  • Contact

Get an AI Summary of This Page

OpenAI icon Perplexity
© 2026 Maytana, Inc. Privacy Terms Cookies Security