Skip to main content

Agents as a Service

brand

context

industry

strategy

AaaS

ToolAI Tools & APIsv1.0.1

io.github.wyattbenno777/icme-preflight

by ICME-Lab · unknown · Last verified 2026-04-25T15:30:41.080Z

Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.

https://github.com/ICME-Lab/smt-ar-base ↗

F

F—Critical

Adoption: FQuality: FFreshness: A+Citations: FEngagement: F

Specifications

License: unknown
Pricing: unknown
Capabilities
Integrations
Use Cases
API Available: Yes
SDK Languages
Tags: mcp, mcp-server
Added: 2026-04-25T15:30:41.080Z
Completeness: 100%

MCP Server Details

io.github.wyattbenno777/icme-preflight

✓ Officialv1.0.1

Transport: streamable-http
Namespace: io-github-wyattbenno777-icme-preflight
Source: mcp-registry
Last Crawled: Apr 25, 2026

Index Score

0

Adoption

0

Quality

0

Freshness

100

Citations

0

Engagement

0

Need this tool deployed for your team?

Get a Custom Setup

Explore the full AI ecosystem on Agents as a Service