# AI Context for btor

## Profile
- Name: btor

## Online Presence
\[Gravatar Profile\]: [gravatar.com/btor](https://gravatar.com/btor)