User Profiles
Every user has a public profile page at /profile/:userId that shows their bio, social links, and published appgrammars.
Viewing a Profile
GET /api/users/:userId/profile
Returns the user's display info and their public appgrammars. Supports sorting and pagination:
GET /api/users/:userId/profile?sort=stars&limit=20&offset=0
No authentication required -- profiles are public.
Editing Your Profile
PUT /api/users/me/profile
{
"bio": "Building developer tools with AI",
"website": "https://example.com",
"github": "username",
"twitter": "username"
}
All fields are optional. Updates are reflected immediately on your public profile page.
In the web UI, click your avatar in the sidebar to access profile settings.
What Appears on Your Profile
- Display name and avatar (from your authentication provider)
- Bio (Markdown supported)
- Social links (website, GitHub, Twitter/X)
- Public appgrammars with star counts, sorted by your choice (recency, stars, or executions)
- Join date