formal.ai
Use Cases Features Customers Blog Docs
Get a demo

Blog

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.ai

Protocol-aware reverse proxy. Least privilege on every query, for every identity.

Customers

  • Notion
  • Gusto
  • Modern Health
  • ManoMano

Blog

  • Stop Building Scaffolding
  • Editing Code Visually
  • Proxies and Claude Code
  • Fine-Grained Connector Logs
  • Allowlisting Bash Commands

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