Proof SDK: open-source collaborative editor, provenance model, and agent HTTP bridge
☆893Mar 23, 2026Updated 2 months ago
Alternatives and similar repositories for proof-sdk
Users that are interested in proof-sdk are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆37Feb 16, 2026Updated 3 months ago
- Superpowers for knowledge work in Claude Code☆105Feb 15, 2026Updated 3 months ago
- 💧 Query mode for agents☆97May 11, 2026Updated 2 weeks ago
- 🤖 Reddit-infuriating, AI-powered Shell scripts using Claude Code SDK. essentially an ADAS (Automated Design of Agentic Systems) implemen…☆31Sep 17, 2025Updated 8 months ago
- App that monitors the web for articles about specific topics☆34Jul 22, 2025Updated 10 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Library of GTM skills for Claude Code, Codex, Cursor☆689May 7, 2026Updated 3 weeks ago
- ☆15Feb 11, 2023Updated 3 years ago
- A simple CLI for working with any agent☆131Updated this week
- A highly performant replica of McMaster-Carr using Next.js☆38Oct 21, 2024Updated last year
- A simple class that facilitates free drawing on the HTML 5 canvas.☆12Jun 22, 2021Updated 4 years ago
- ☆28Jan 30, 2026Updated 4 months ago
- A vibe coding telegram bot.☆73Jan 29, 2026Updated 4 months ago
- Tamagui expo example app☆11May 9, 2022Updated 4 years ago
- desktop application for viewing and analyzing Claude Code CLI session logs.☆29Aug 16, 2025Updated 9 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Wow!☆12Oct 25, 2024Updated last year
- website for mini-SSG package☆12Jul 27, 2021Updated 4 years ago
- All-in-one Full-Featured Python/Flet/Flutter Application to make the most of all the latest Open-Source AI Art Generators in an intuitive…☆16May 30, 2025Updated 11 months ago
- Python Bootcamp Repo☆12Apr 20, 2023Updated 3 years ago
- A user-friendly interface built on top of Thinking Machines Tinker API that lets you fine-tune LLMs, chat with your trained model, and de…☆32May 11, 2026Updated 2 weeks ago
- Skill to talk to Claude about your projects over the phone☆165Jan 6, 2026Updated 4 months ago
- Chat with any Github repo.☆61Apr 18, 2026Updated last month
- Group related files together using a common catalog number and instantly find them on macOS using a URL.☆13Apr 1, 2021Updated 5 years ago
- ☆17Feb 27, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- High-dimensional fixed-effect estimation in Stata using Julia☆29Feb 10, 2026Updated 3 months ago
- A powerful command-line tool for advanced Google Tasks management with features like deduplication, synchronization, reporting, and inter…☆33Apr 6, 2026Updated last month
- ☆17Mar 31, 2025Updated last year
- OSINT Platform - Provides image analysis, digital footprints, video transcription and more. Retrieval Augmented Generation (RAG) capable …☆11Jun 25, 2024Updated last year
- A studio for OpenStreetMap development & deisgn☆14Aug 11, 2025Updated 9 months ago
- The official server application for running agents within the Agentica framework from Symbolica☆88Feb 19, 2026Updated 3 months ago
- Cloud-based Dev-focused Context Engineering IDE, Better than Claude☆24Mar 3, 2026Updated 2 months ago
- Run AI prompts like programs. Executable markdown with shebang, Unix pipes, and output redirection. Extends Claude Code with cross-cloud …☆154Updated this week
- A Codex/Claude skill that maintains per-repo operating theory documents.☆177Feb 28, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- High-speed Go email scraper that crawls sites and internal links concurrently to collect email addresses for reconnaissance, research, or…☆32Dec 18, 2025Updated 5 months ago
- Run Claude Code on OpenAI models☆20Jul 13, 2025Updated 10 months ago
- A collection of cookbooks to help developers get started quickly with the Firecrawl API.☆54Feb 14, 2025Updated last year
- TypeScript port of the original MCP Agent framework by lastmile-ai☆17Sep 22, 2025Updated 8 months ago
- Agentkube - Run Kubernetes Like Never Before☆38Mar 1, 2026Updated 2 months ago
- An open, crowd-sourced repository of farcaster metadata☆14Dec 17, 2024Updated last year
- Minimal agent loop in bash. Pure state follower core with plugin-based tools, hooks, providers, and commands. Dependencies: bash 4+, jq, …☆157May 18, 2026Updated last week