create-session
Start a reasoning session to incrementally build knowledge bases for multiple queries, with automatic expiration after a set time period.
Instructions
Create a new reasoning session for incremental knowledge base construction.
When to use: You want to build up premises incrementally and query multiple times. When NOT to use: Single query with all premises known upfront (use prove directly).
Example: ttl_minutes: 30 → Returns: { session_id: "uuid...", expires_at: ... }
Notes:
Sessions auto-expire after TTL (default: 30 minutes)
Maximum 1000 concurrent sessions
Session ID must be passed to all session operations
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| ttl_minutes | No | Session time-to-live in minutes (default: 30, max: 1440) | |
| verbosity | No | Response verbosity: 'minimal' (token-efficient), 'standard' (default), 'detailed' (debug info) |