Proof SDK: open-source collaborative editor, provenance model, and agent HTTP bridge
☆1,043Mar 23, 2026Updated 3 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:
- Review markdown docs in a nice interface that lets you leave comments☆409Jun 19, 2026Updated 3 weeks ago
- AI-powered workflows for knowledge work: brainstorm, plan, review, execute, and save learnings. The knowledge work equivalent of Compound…☆364Mar 24, 2026Updated 3 months ago
- The missing integration layer for AI agents. Let them call any OpenAPI / MCP / GraphQL / custom js functions in secure environment.☆2,693Updated this week
- Your agent runs on a Mac that isn't your daily driver. agentcookie keeps its sessions in sync with the Mac you actually browse on, contin…☆593Jun 26, 2026Updated 2 weeks ago
- Every API has a secret identity. This finds it, absorbs every feature from every competing tool, then builds the GOAT CLI — designed for …☆3,967Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Autonomous experiment loop extension for pi☆7,196Updated this week
- Official library of CLIs generated by the CLI Printing Press. Endorsed, tested, and community-contributed.☆1,789Updated this week
- Agent skill for rendering inline interactive visuals — SVG diagrams, HTML widgets, charts, and explainers — in agent conversations.☆465Mar 12, 2026Updated 4 months ago
- AI-first knowledge base and startup OS☆2,397Updated this week
- The sandbox agent framework.☆7,280Updated this week
- A meeting note-taker that talks back.☆2,484Updated this week
- A skill for improving the luck of your AI stack and projects—developed from an applied theoretical framework. Multiple diagnostic compone…☆156Mar 9, 2026Updated 4 months ago
- grow what you know☆109Updated this week
- Open Source Company Brain☆631Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Multi-perspective council analysis plugin for Claude Code. Spawns parallel cognitive perspectives to analyze questions, plans, and ideas …☆178Mar 22, 2026Updated 3 months ago
- Google Workspace CLI — one command-line tool for Drive, Gmail, Calendar, Sheets, Docs, Chat, Admin, and more. Dynamically built from Goog…☆29,682Jul 1, 2026Updated 2 weeks ago
- Stores all your tweets nicely claw-able for agents.☆1,564Updated this week
- A personal AI agent that can work safely on your machine, remember useful context, and keep its data under your control.☆91May 26, 2026Updated last month
- ☆49Jun 23, 2026Updated 3 weeks ago
- Markdown editor for Mac, iOS and iPadOS☆1,062May 28, 2026Updated last month
- Agent-native PowerPoint manipulation — one CLI lets AI agents inspect, edit, create, and verify .pptx files through atomic JSON patches. …☆188Updated this week
- Agent-driven Chrome extension for full browser control via CLI☆303Updated this week
- Collaborator is a place to create with agents.☆2,834Jun 25, 2026Updated 2 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Capture golden product feedback sessions with screen, voice, DOM, network, and console context for AI agents.☆80Jun 26, 2026Updated 2 weeks ago
- ☆18Apr 27, 2026Updated 2 months ago
- 🖍️ Convert anything to markdown. Mark it.☆1,287Apr 11, 2026Updated 3 months ago
- Open source Ghostty-based macOS terminal with vertical tabs and notifications for AI coding agents. Built for multitasking, organization,…☆24,487Updated this week
- Mesh-native protocol and Rust connector library for secure AI agent integration with external services: Twitter, Linear, Stripe, Discord,…☆83Updated this week
- An open source template for building cloud agents.☆5,721Jun 17, 2026Updated 3 weeks ago
- ☆299Updated this week
- The World's First Unified Virtual Filesystem For AI Agents☆3,318Updated this week
- ☆54Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Browser Harness | Self-healing harness that enables LLMs to complete any task.☆15,963Updated this week
- ⚒️ The open source dark software factory for expert engineers.☆1,422Updated this week
- Official Compound Engineering plugin for Claude Code, Codex, Cursor, and more☆23,173Updated this week
- This is the website formally known as Terragon Labs. It was a remote background agent orchestrator for running Claude Code, Codex, and ot…☆247Feb 10, 2026Updated 5 months ago
- AI agent skill that researches any topic across Reddit, X, YouTube, HN, Polymarket, and the web - then synthesizes a grounded summary☆52,171Updated this week
- Our favorite Claude Code commands☆529Nov 24, 2025Updated 7 months ago
- ACE Platform for Agentic Context Engineering☆156Mar 31, 2026Updated 3 months ago