https://github.com/arrow7000/atproto-fsharp
Idiomatic F# library for the AT Protocol (atproto/Bluesky)
https://github.com/arrow7000/atproto-fsharp
atproto atproto-client bluesky bluesky-client dotnet fsharp
Last synced: about 2 months ago
JSON representation
Idiomatic F# library for the AT Protocol (atproto/Bluesky)
- Host: GitHub
- URL: https://github.com/arrow7000/atproto-fsharp
- Owner: Arrow7000
- License: mit
- Created: 2026-02-26T21:44:53.000Z (4 months ago)
- Default Branch: main
- Last Pushed: 2026-03-25T13:02:52.000Z (3 months ago)
- Last Synced: 2026-03-26T13:31:23.255Z (3 months ago)
- Topics: atproto, atproto-client, bluesky, bluesky-client, dotnet, fsharp
- Language: F#
- Homepage: https://arrow7000.github.io/atproto-fsharp/
- Size: 959 KB
- Stars: 4
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
A native F# library for Bluesky and the AT Protocol.
Built from the ground up in F#. No C# wrappers. Functional-first.
---
## Install
```bash
dotnet add package FSharp.ATProto.Bluesky
```
## Quick Example
```fsharp
open FSharp.ATProto.Bluesky
taskResult {
let! agent = Bluesky.login "https://bsky.social" "my-handle.bsky.social" "app-password"
let! post = Bluesky.post agent "Hello from F#! 🦋"
let! like = Bluesky.like agent post // PostRef -> LikeRef (the compiler prevents mix-ups)
let! reply = Bluesky.replyTo agent "Nice thread!" post // thread root resolved automatically
let! _ = Bluesky.undo agent like // generic undo — works on any ref type
return reply
}
// : Task> — no exceptions, ever
```
## Design
- **If it compiles, it's correct** -- distinct types for every domain concept (`PostRef`, `LikeRef`, `FollowRef`, `BlockRef`...) mean the compiler catches your mistakes.
- **The library handles protocol complexity** -- thread roots, rich text facets, chat proxy headers -- all resolved automatically.
- **Results, not exceptions** -- every public function returns `Result`. No `failwith`, no try/catch.
- **Rich domain types** -- `PostRef`, `Profile`, `FeedItem`, `ConvoSummary`, `Page<'T>`, and more. Plus convenience functions for search, bookmarks, muting, notifications, and moderation.
- **Generated from the spec** -- 324 Lexicon schemas compiled to F# types + 237 typed XRPC endpoint wrappers.
## Getting Started
See the [Quickstart](https://arrow7000.github.io/atproto-fsharp/quickstart) to get up and running in 5 minutes.
## Features
- **Posts** -- create, reply, quote, delete, with automatic rich text detection ([guide](https://arrow7000.github.io/atproto-fsharp/guides/posts))
- **Rich text** -- mentions, links, and hashtags detected and resolved automatically ([guide](https://arrow7000.github.io/atproto-fsharp/guides/rich-text))
- **Images** -- upload and attach with typed `ImageMime` and alt text ([guide](https://arrow7000.github.io/atproto-fsharp/guides/media))
- **Social graph** -- follow, block, like, repost, mute, with typed refs and generic undo ([guide](https://arrow7000.github.io/atproto-fsharp/guides/social))
- **Feeds** -- timeline, author feed, actor likes, bookmarks ([guide](https://arrow7000.github.io/atproto-fsharp/guides/feeds))
- **Profiles** -- get, search, typeahead, batch fetch, upsert ([guide](https://arrow7000.github.io/atproto-fsharp/guides/profiles))
- **Chat / DMs** -- conversations, messages, reactions, with automatic proxy headers ([guide](https://arrow7000.github.io/atproto-fsharp/guides/chat))
- **Notifications** -- fetch, count unread, mark seen ([guide](https://arrow7000.github.io/atproto-fsharp/guides/notifications))
- **Moderation** -- report content, mute threads, mod lists, and a full moderation engine ([guide](https://arrow7000.github.io/atproto-fsharp/guides/moderation))
- **Identity** -- DID resolution, handle verification, PDS discovery ([guide](https://arrow7000.github.io/atproto-fsharp/guides/identity))
- **Lists** -- create and manage lists and starter packs ([guide](https://arrow7000.github.io/atproto-fsharp/guides/lists))
- **Preferences** -- saved feeds, muted words, content filtering ([guide](https://arrow7000.github.io/atproto-fsharp/guides/preferences))
- **Streaming** -- real-time events via Jetstream and Firehose ([guide](https://arrow7000.github.io/atproto-fsharp/guides/streaming))
- **Video** -- upload and post video content ([guide](https://arrow7000.github.io/atproto-fsharp/guides/media))
- **Pagination** -- lazy `IAsyncEnumerable` paginators for timeline, followers, notifications ([guide](https://arrow7000.github.io/atproto-fsharp/guides/pagination))
- **OAuth** -- OAuth 2.0 client with DPoP/PKCE, plus authorization server ([guide](https://arrow7000.github.io/atproto-fsharp/guides/oauth))
- **Server-side** -- feed generator framework, XRPC server, service auth
- **Full XRPC access** -- all 237 Bluesky endpoints available as typed wrappers ([guide](https://arrow7000.github.io/atproto-fsharp/guides/raw-xrpc))
## Documentation
Full docs at [arrow7000.github.io/atproto-fsharp](https://arrow7000.github.io/atproto-fsharp/).
- [Quickstart](https://arrow7000.github.io/atproto-fsharp/quickstart) -- zero to first post
- [Build a Bot](https://arrow7000.github.io/atproto-fsharp/guides/build-a-bot) -- end-to-end tutorial
- [Concepts](https://arrow7000.github.io/atproto-fsharp/concepts) -- AT Protocol terms explained (DID, Handle, AT-URI, PDS, Lexicon)
## Building & Testing
Requires [.NET 10 SDK](https://dotnet.microsoft.com/download).
```bash
dotnet build && dotnet test
```
2,623 tests across 14 projects.
## AI Transparency
This project was built with heavy use of AI coding assistants, mostly Claude Opus 4.6.
To ensure correctness the project validates against ground truth at every layer:
- **Syntax parsing** -- [tested](tests/FSharp.ATProto.Syntax.Tests/) against the official [AT Protocol interop test vectors](https://github.com/bluesky-social/atproto-interop-tests) (valid and invalid inputs for DIDs, Handles, NSIDs, TIDs, AT-URIs, and more)
- **CBOR & CID** -- [tested](tests/FSharp.ATProto.DRISL.Tests/InteropTests.fs) against the interop data-model fixtures (known JSON -> CBOR -> CID round-trips), plus [property-based tests](tests/FSharp.ATProto.DRISL.Tests/PropertyTests.fs) for encoding invariants
- **Lexicon schemas** -- all 324 real lexicon files from the [official atproto repo](https://github.com/bluesky-social/atproto/tree/main/lexicons) are [parsed and validated](tests/FSharp.ATProto.Lexicon.Tests/RealLexiconTests.fs); the code generator is tested against them
- **Rich text** -- [property-based tests](tests/FSharp.ATProto.Bluesky.Tests/RichTextTests.fs) verify byte-range correctness and facet ordering
- **XRPC / Bluesky** -- [tested](tests/FSharp.ATProto.Bluesky.Tests/) via mock HTTP handlers that verify request construction, multi-step orchestration (e.g. thread root resolution), error handling, and domain type mapping (note: the mocks don't validate against real Bluesky API responses -- that contract is covered by the generated types matching the lexicon schemas above)
All told, 2,623 tests across 14 projects, with zero reliance on manual testing or live API calls.
Documentation guides are written as [literate F# scripts](https://fsprojects.github.io/FSharp.Formatting/literate.html) (`.fsx` files) -- every code snippet is compiler-checked during the docs build, so examples can never drift out of sync with the library.
## License
MIT