Skip to main content

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: unverified
Integrations
Use Cases
API Available: Yes
SDK Languages
Tags: mcp, mcp-server
Added: 2026-04-25T15:30:41.080Z
Completeness: 60%

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