ICME Preflight vs sheets-mcp

Cryptographic guardrails for AI agents. Write policies in plain English — Preflight compiles them to formal logic and checks every agent action with a mathematical solver. SAT = allowed, UNSAT = blocked. Every decision produces a zero-knowledge proof: tamper-proof, independently verifiable, and priv

A local Google Sheets MCP server built for agent workflows in Claude Code and Claude Desktop: write API, script and file output into sheets, combine spreadsheets, refresh them on a schedule, across multiple Google accounts. Undo and formula-error checks on every write.

APIs

MCP Servers

—

—

—

—

—

—

—

—

—

9

0

0