Ctrl + k

or run

tessl search
Log in

Version

Workspace
tessl
Visibility
Public
Created
Last updated
Describes
pypipkg:pypi/sqlmodel@0.0.x

evals

scenario-2

rubric.jsontask.md
tile.json

tessl/pypi-sqlmodel

tessl install tessl/pypi-sqlmodel@0.0.0

SQLModel, SQL databases in Python, designed for simplicity, compatibility, and robustness.

Agent Success

Agent success rate when using this tile

85%

Improvement

Agent success rate improvement when using this tile compared to baseline

1x

Baseline

Agent success rate without this tile

85%

task.mdevals/scenario-2/

User Profile Manager

A simple user profile management system that uses universally unique identifiers for record tracking.

Capabilities

Create user profiles

  • Creating a new user profile with name "Alice" and email "alice@example.com" returns a profile with a unique identifier @test
  • Creating multiple user profiles generates different unique identifiers for each profile @test

Retrieve user profiles

  • Retrieving a user profile by its identifier returns the correct user data @test
  • Attempting to retrieve a non-existent profile identifier returns None @test

Implementation

@generates

API

class UserProfile:
    """
    Represents a user profile with a unique identifier.

    Attributes:
        id: A universally unique identifier that serves as the primary key
        name: The user's full name
        email: The user's email address
    """
    pass

def create_user_profile(session, name: str, email: str) -> UserProfile:
    """
    Creates a new user profile in the database.

    Args:
        session: Database session for operations
        name: The user's full name
        email: The user's email address

    Returns:
        The created UserProfile with an automatically generated unique identifier
    """
    pass

def get_user_profile(session, profile_id) -> UserProfile | None:
    """
    Retrieves a user profile by its unique identifier.

    Args:
        session: Database session for operations
        profile_id: The unique identifier of the profile to retrieve

    Returns:
        The UserProfile if found, None otherwise
    """
    pass

Dependencies { .dependencies }

sqlmodel { .dependency }

Provides database modeling and session management support.

@satisfied-by