ICME API

What it does

AI agents are becoming powerful enough to move real money, sign contracts, and make consequential decisions autonomously. Agentic security has not kept up. We built cryptographically secure guardrails for AI agents using formal verification and zero knowledge proofs.

Welcome to your team’s developer platform

Your AI agent can be talked out of its guardrails. Prompt-based safety checks, LLM judges, and reasoning chains all share one weakness: the enforcement mechanism is itself a model. ICME replaces model judgment with formal verification, grammar-constrained decoding, and cryptography. Every action gets a cryptographic proof verifiable in under a second. SAT means allowed. UNSAT means blocked. Get mathematical guarantees, not vibes. Prompt-based systems, LLM judges, and reasoning checks all share the same weakness: the enforcement mechanism is itself a model. Models can be jailbroken, manipulated by prompt injection, and reasoned around. When a guardrail and an attack speak the same language,…from docs.icme.io

• 
  Venn.aiMar 2026 · venn.ai · ▲336

  Delegate real work to AI agents with safety guardrails

• 
  ElevenAgents Guardrails 2.0Apr 2026 · elevenlabs.io · ▲132

  Configurable safety control for enterprise agent deployment.

• 
  CtrlAIMar 2026 · github.com · ▲104

  Transparent proxy that secures AI agents with guardrails

• FL
  Free local security checks for AI coding in VSCode, Cursor and Windsurf2025 · ▲43

  Hi HN! We just launched Codacy Guardrails, an IDE extension with a CLI for code analysis and MCP server that enforces security & quality rules on AI-generated code in real-time. It hooks into AI coding assistants (like VS Code Agent Mode, Cursor, Windsurf), silently scanning and fixing AI-suggested code that has vulnerabilities or violates your coding standards, while the code it’s being generated. We built this because coding agents can be a double-edged sword. They do boost productivity, but can easily introduce insecure or non-compliant code. One recent research team at NYU found that 40%…

• 
  Retroguard – Verifiably secure AI guardrailsMay 2026 · retroguard.ai · ▲6

  Cryptographically secure and verifiably robust protection with drop-in integration and outcome-based pricing

• 
  OpenAPPA – deterministic AI guardrails that don't break agents23d ago · openappa.com · ▲25

  An information-flow policy engine for LLM agents.

• 
  Spira Maxima▲578

  Video model that turns script into viral social media videos

  AI · 17d ago · spira.ai

• 
  Rill Browser▲540

  The browser where Claude Code and Codex work beside you

  AI · 17d ago · rill.love

• 
  Germany's new sovereign AI model Kolibri▲424

  Kolibri is Aleph Alpha

  AI · 18d ago · tej.as

• 
  Giving Opus 5.5 a simulated paint canvas▲392

  Paintings by AI models: programs run through a simulation of oil paint.

  AI · 20d ago · stillwet.art

• 
  Onepin▲384

  AI voiceover with every name, price and date said right

  AI · 30d ago · onepin.ai

• 
  PixVerse R2▲381

  A real-time world model you can explore and change

  AI · 28d ago · world.pixverse.video

• 
  Lightfield▲901

  AI-native CRM that builds itself and does work for you

  AI · Mar 2026 · lightfield.app

• 
  Tobira.ai▲728

  A network where AI agents find deals for their humans

  AI · Mar 2026 · tobira.ai

• 
  Claude Import Memory▲716

  Switch from ChatGPT to Claude with import memory feature

  AI · Mar 2026 · claude.com

• 
  Littlebird▲709

  Littlebird remembers everything across your meetings, messages, docs, and apps, then takes action so you can recall any detail and never lose context.

  AI · Mar 2026 · littlebird.ai

• 
  Viktor.com▲702

  Your AI Coworker that proactively executes tasks

  AI · Mar 2026 · viktor.com

• 
  Jupid▲659

  File your taxes with Claude Code

  Commerce · Mar 2026 · jupid.com