Symbolic Agents

Create stateful AI agents that autonomously traverses a specified graph-based workflow.

• State-dependent tool calling: The tools available to the agent change based on the agent state.
• Avoid vendor lock-in: Build with any agent framework (e.g. LangChain) using any provider (e.g. Groq)

Future extensions include verifying the AI agent by synthesizing specifications and performing model checking.

Get Started

git clone nathan-t4/symbolic_agents
cd agent-ts
uv sync
source .venv/bin/activate

Interact with the example e-commerce agent!

symbolic_agents

Add API Keys

echo GROQ_API_KEY=gsk_... >> .env

Run Tests

pytest -s

Examples

Examples are located at symbolic_agents/examples