PulseGatePost-LLM software, agents & workflows market (since 2022)
Coverage
166,813

Apps indexed

 

Freshness
13 min ago

Last update

 

Cadence
1,440/day

7-day average

Indexed today: 567

PulseGate

Market catalog for public software products, models, infra, and workflow tools.

Software is shipping faster than ever, and a growing share of it lives outside the official app stores. PulseGate is a free public catalog — built for builders, analysts, and everyday users.

Platform

  • All Apps
  • Categories
  • Industry Updates
  • Data Sources
  • Coverage Rules
  • Glossary
  • Embed Widget

Support

  • Help Center
  • Submit a Project
  • Report an Issue

Company

  • About
  • Press & Data
  • Contact
  • Platform Status

Legal

  • Privacy
  • Terms
  • Disclaimer

© 2026 PulseGate. Operated by Dymaxio s.r.o., Prague, Czech Republic.·

All systems operational
PulseGate
AT
Athanor-ai
Visit ↗
  1. Home/
  2. LLM eval & observability/
  3. Athanor-ai
←Back to results
AAthanor-ai logo

Athanor-ai

athanor-ai.com·LLM eval & observability

Athanor builds Kairos, a verification engine that proves or disproves claims in computational science and engineering with upper and lower bounds. Built for teams whose claims have to hold up to scrutiny, not just pass a testbench.

Apache-2.0
WebCLICloud-managed
A
Athanor-ai preview
Visit athanor-ai.com↗

Overview

7 features
  • ✓Formal verification
  • ✓Proof certificates
  • ✓RTL optimization
  • ✓LLM integration
  • ✓Area measurement
  • ✓Reproducibility
  • ✓Team collaboration

Tags

formal-verificationrtl-optimizationproof-certificates

AI capabilities

CodeStructuredInference: Cloud API

Built with & integrations

Hosting
vercel
Runs on
BrowserCLICloud-managed

Trust & compliance

LicenseApache-2.0
Verified signals
✓ HTTPS✓ GitHub

Recent events

Latest indexed changes and source events

  1. IndexedJun 17, 6:30 PM

    athanor-ai.com discovered by the PulseGate indexer

    Source: PulseGate indexerOpen ↗

At a glance

Pricing
Free
Platforms
Cli · Web
Languages
English
Open source
Yes (GitHub)
License
Apache-2.0
First seen
May 21, 2026
Activity
🟢 Active
Status
🟢 Active
Built for
engineering teams
Model
B2B
Solves
Verifying and validating computational claims and optimizations in science and engineering with formal, reproducible proofs.

Developer

Athanor
↗ GitHub

Open source

View on GitHub →

PulseGate index

Confidence
High · 93
Indexed
Jun 17, 2026
Lifecycle
Alive
Activity
Active
First seen
May 2026
Last seen
4w ago
Freshness
Unknown
Identity audit (9)
Entity ID
cmqierftk04ayerc4zez77mv9
Slug
athanor-ai-athanor-ai-com
Verification state
Indexed for public listing
Claim / listing state
Unclaimed · listed: yes
Index status
Included in index
Latest evidence snapshot
Jun 17, 2026
Timeline basis
Indexed-at chronology (no inferred launch/funding milestones).
Last updated
Jun 17, 2026
Canonical URL
https://athanor-ai.com/

Similar apps

Other apps tracked under the same category.

  • Kairos
    kairos.computer
  • Verathos
    verathos.ai
  • Axiom
    useaxiom.co.uk
  • aten-thoth
    pypi.org
  • Kratyx
    kratyx.com
  • Aethis
    aethis.ai