LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

getstream.io

Deven Joshi

Developer Relations Lead @GetStream 🥑 | Google Developer Expert, Flutter 💙

GitHub @d3xvn Website

Followers

1.2K

Public repos

55

Stars (recent)

473

Ecosystems

1

Projects

Repositories this builder owns.

Give your AI coding agent the ability to build, query, and manage Stream - Chat, Video, Feeds, and Moderation.

AI-powered IDE for Lean 4 theorem proving. Integrates Claude as a proof assistant with full tool use, live tactic state, inline diagnostics, Unicode input, and Lake build support. Built with Flutter.

Sample implementations of Google's Agent Development Kit (ADK) with various agent types, tool integrations, and orchestration patterns.

A Flutter package to detect phone shakes with directional information.

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

flutter_callkit_incoming

Flutter Callkit Incoming

A community-maintained Dart client package for Replicate.com, this package let you interact with Replicate.com APIs and create predictions from the available machine learning models.

No description.

chatgpt-train-online

Example Streamlit app that you can fork to test out share.streamlit.io

Recent activity

Most recently pushed work.

d3xvn/agent-skills
pushed 2mo ago
d3xvn/ergo
pushed 3mo ago
d3xvn/adk-samples
pushed 13mo ago
d3xvn/shake
pushed 15mo ago