Formal
Products
EndpointForward proxy for laptops and agent sandboxes PAMIdentity-based access to databases, SSH, and Kubernetes CatalogOne place to find and request access WorkflowsApprovals and access that expires on its own
Platform Customers Blog Docs
Log in Get a demo

Blog

Giving Cloud Agents Production Access with OIDC, Not Secrets Oct 23, 2026 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 the agentic era. Least privilege on every request, for every agent and human.

Customers

  • Cursor
  • Notion
  • Gusto
  • Modern Health
  • ManoMano

Blog

  • Cloud Agents and OIDC
  • 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

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