images

• image_id: 60353
  tool_id: 26898
  image_url: https://ageofai.tools/wp-content/uploads/logo/AOAT-026898-flogo.webp
  image_type: logo
  alt_text:
  order:
  is_active: 1
  created_at: 2025-07-23T06:21:01.537453
  updated_at: 2025-11-09T21:04:04.439
  

---

• image_id: 60354
  tool_id: 26898
  image_url: https://ageofai.tools/wp-content/uploads/sc/AOAT-026898-sc02.webp
  image_type: screenshot
  alt_text:
  order:
  is_active: 1
  created_at: 2025-07-23T06:21:01.537453
  updated_at: 2025-11-06T05:38:12.772
  

---

all_pricing_models

• pricing_model_id: 9
  pricing_model_name: Hybrid Models
  is_active:
  sort: 0
  

---

• pricing_model_id: 10
  pricing_model_name: Deprecated/Legacy
  is_active:
  sort: 0
  

---

• pricing_model_id: 1
  pricing_model_name: Free
  is_active: 1
  sort: 1
  

---

• pricing_model_id: 2
  pricing_model_name: Freemium
  is_active: 1
  sort: 2
  

---

• pricing_model_id: 12
  pricing_model_name: Free Trial
  is_active: 1
  sort: 3
  

---

• pricing_model_id: 3
  pricing_model_name: Subscription
  is_active: 1
  sort: 6
  

---

• pricing_model_id: 4
  pricing_model_name: Pay-As-You-Go (PAYG)
  is_active: 1
  sort: 4
  

---

• pricing_model_id: 5
  pricing_model_name: One-Time Purchase
  is_active: 1
  sort: 7
  

---

• pricing_model_id: 6
  pricing_model_name: Credit or Token-Based
  is_active: 1
  sort: 5
  

---

• pricing_model_id: 7
  pricing_model_name: Custom Pricing
  is_active: 1
  sort: 8
  

---

• pricing_model_id: 8
  pricing_model_name: Performance-Based
  is_active: 1
  sort: 9
  

---

• pricing_model_id: 11
  pricing_model_name: Miscellaneous
  is_active: 1
  sort: 10
  

---

active_pricing_model_names

seo

• seo_id: 26898
  tool_id: 26898
  title: Imandra's Reasoning Service® powered by Imandra AI
  tldr:
  short_description: Unlock the power of LLMs with Imandra Reasoning Service®. Build mental models, ensure correctness & compliance using automated logical reasoning.
  introduction_title: Unlocking the Power of Large Language Models with Imandra.Ai
  introduction_body: Large language models (LLMs) have revolutionized AI, but ensuring their outputs are accurate, reliable, and compliant can be challenging. Imandra.Ai addresses this gap by offering a powerful Reasoning Service® that empowers users to build robust mental models and unlock the full potential of LLMs across diverse industries. Through its innovative Python library, Imandra enables users to express thoughts in logic and leverage automated reasoning capabilities, making inferences explicit and explainable for increased trust and demonstrable compliance. This platform excels in scaling reasoning to unprecedented levels while performing auditable logical inference, making it ideal for sectors demanding precision and adherence to regulations, such as finance, government, and defense.
  is_active: 1
  created_at: 2025-07-23T06:17:37.581901
  updated_at: 2025-07-27T08:11:20.221553
  

---

social_media

• tool_id: 26898
  network_id: 9
  social_media_url: https://github.com/imandra-ai
  is_active:
  created_at: 2025-07-01T18:37:37.77825
  id: 41756
  updated_at: 2025-11-11T04:22:25.007355
  

---

• tool_id: 26898
  network_id: 12
  social_media_url: https://linkedin.com/company/imandra/mycompany/
  is_active:
  created_at: 2025-07-01T18:37:37.77825
  id: 41757
  updated_at: 2025-11-11T04:22:25.007355
  

---

• tool_id: 26898
  network_id: 14
  social_media_url: https://twitter.com/verifiedbyai
  is_active:
  created_at: 2025-07-01T18:37:37.77825
  id: 41758
  updated_at: 2025-11-11T04:22:25.007355
  

---

• tool_id: 26898
  network_id: 15
  social_media_url: https://facebook.com/VerifiedByAI
  is_active:
  created_at: 2025-07-01T18:37:37.77825
  id: 41759
  updated_at: 2025-11-11T04:22:25.007355
  

---

• tool_id: 26898
  network_id: 16
  social_media_url: contact@imandra.ai
  is_active:
  created_at: 2025-07-01T18:37:37.77825
  id: 41760
  updated_at: 2025-11-11T04:22:25.007355
  

---

toolsets

• tool_id: 26898
  toolset_id: 8
  weight: 1
  is_active: 1
  created_at: 2025-07-23T06:17:37.581901
  id: 129819
  updated_at: 2025-07-27T08:15:00.645841
  

---

• tool_id: 26898
  toolset_id: 6
  weight: 2
  is_active: 1
  created_at: 2025-07-23T06:17:37.581901
  id: 129820
  updated_at: 2025-07-27T08:15:00.645841
  

---

• tool_id: 26898
  toolset_id: 21
  weight: 3
  is_active: 1
  created_at: 2025-07-23T06:17:37.581901
  id: 129821
  updated_at: 2025-07-27T08:15:00.645841
  

---

• tool_id: 26898
  toolset_id: 29
  weight: 4
  is_active: 1
  created_at: 2025-07-23T06:17:37.581901
  id: 129822
  updated_at: 2025-07-27T08:15:00.645841
  

---

• tool_id: 26898
  toolset_id: 47
  weight: 5
  is_active: 1
  created_at: 2025-07-23T06:17:37.581901
  id: 129823
  updated_at: 2025-07-27T08:15:00.645841
  

---

platforms

• id: 21062
  tool_id: 26898
  platform_id: 1
  priority:
  platform_url: https://imandra.ai
  platform_canonical_key:
  is_active: 1
  created_at: 2025-10-15T08:30:06.108305
  updated_at: 2025-10-15T08:30:06.108305
  company_domain: imandra.ai
  

---

last_update

• tool_id: 26898
  last_update: 2025-11-09T21:04:04.439
  

---