| What it does | Neuro-symbolic AI for enterprise agents that combine language understanding with symbolic logic in one integrated runtime
| An engine for long-running agents that rebuilds its prompt under a cap and runs on your budget
|
|---|
| Stage | Established
| MVP
|
|---|
| Founded | 2017
| Not given
|
|---|
| Based in | US
| Not given
|
|---|
| Pricing model | Contact for pricing
| Freemium
|
|---|
| Pricing | Not given
| Prototype: free during beta, then from December 16, 2026 it costs $1 per 1,000 agent calls after 1,000 monthly included calls. Production: $20 a month with 20,000 agent calls included, then $1 per 1,000 calls after that. Top-ups: $1 per 1,000 calls, from $10 to $500 at a time, never expiring.
|
|---|
| Key features | - One integrated runtime combining neural and symbolic systems
- Deterministic policy enforcement before action
- Complete execution trace for every turn
- Natural language program authoring with code generation
- Consistent decisions from identical inputs
- CPU-based logic execution with lightweight language models
- Managed service and custom enterprise deployment options
| - Prompt rebuilt from journal under token cap at each step to keep it bounded as history grows
- Spending limits checked before each model call at token prices you declare
- Resume after crash without repeating finished actions
- Tool calls returned as actions for your code to carry out
- Proof of what ran: check prompts, re-run engine, download hash-chained journal
- Integrations with Vercel AI SDK, OpenAI Agents SDK, LangGraph, Mastra, Pydantic AI
- MCP server for Claude Code, Claude Projects and Codex
- Works with any model via bring-your-own-key
- TypeScript and Python clients for HTTP API access
|
|---|
| What makes it different | - Symbolic logic governs decisions instead of neural weights
- Lower operational costs through CPU-based logic and lightweight models
| - Bounded prompt under a fixed cap while history grows, so costs per call stop climbing on long sessions
- Every run recorded with cryptographic proof: rebuilable prompts, hash-chained journal, re-runnable engine
- Resumes from crash without repeating finished actions using stable idempotency keys
- Budget enforcement before each model call, not reactive overage billing
- No model key storage or logging; your provider bills you directly
|
|---|
| Free plan | Not given
| Not given
|
|---|
| Open source | Not given
| Not given
|
|---|
| Platforms | Not given
| Not given
|
|---|
| Public API | Not given
| Not given
|
| Community votes | 0 | 0 |
| DR (Domain Rating by Ahrefs) | 20 ● no change since last check | Not checked yet ● no change since last check |
| Trust Flow (Majestic) | 11 | 0 |
| Citation Flow (Majestic) | 33 | 9 |
| Referring domains (Majestic) | 155 | 4 |