SpecAgent: Translating Natural Language to Temporal Logics
Expert Dataset
Bug & Suggestions
Settings
Model Configuration
API Key
API Base URL
API Model Name
Client Type
OpenAI-compatible
Anthropic (Claude)
Thinking Type
Streaming (visible)
Hidden (o-series)
Passthrough (Claude)
None (prompt CoT)
Temperature
Timeout (s)
Max Tokens
Editing: ...
Rename
Delete
Expert Dataset
All
CTL
STL
LTL
Explain
Explanation Language
e.g. English, 中文, 日本語, français...
Semantic Refinement
Bug Report & Suggestions
Provide Feedback
Tell the AI what is wrong (e.g., "The operator should be implies, not and").
Natural Language
Expert Dataset
Model:
Spec:
LTL
CTL
STL
DeepThink
Auto Detect
Translate
AI Recommendation:
OnionL Syntax Tree
Reparse
Feedback
Processing...
▼
Deep Thinking
Visualization
Final Result
Explain