Avatar for Laila ElKoussy from gravatar.com

Laila ElKoussy

Username    lailanelkoussy
Date joined   Joined

3 projects

agentltl-coding

Last released

AgentLTL rules for coding agents: the AGENTLTL.yaml language, a rule library, and a guard any harness can call.

cli-to-tools

Last released

Translate shell command lines into ordered, structured tool calls.

agentltl

Last released

FOLTL constraint verification for LLM agent traces
Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page