-
Formal
- https://joinformal.com
- @ahmb84
Stars
strace for AI agents. Capture and replay every tool call, prompt, and response from Claude Code, Cursor, or any MCP client
LLM inference server with continuous batching & SSD caching for Apple Silicon — managed from the macOS menu bar
fait accompli — sorta strace-like tracer... a front end for dtrace for macos
An open-source database of AI models.
Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.
An interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.
Kernel-enforced agent sandbox and agent security CLI and SDKs. Capability-based isolation with secure key management, atomic rollback, cryptographic immutable audit chain of provenance. Run your ag…
Guardrails for secure and robust agent development
Security scanner for AI agents, MCP servers and agent skills.
Two conversational AI agents switching from English to sound-level protocol after confirming they are both AI agents
aider is AI pair programming in your terminal
Autonomous coding agent right in your IDE, capable of creating/editing files, executing commands, using the browser, and more with your permission every step of the way.
Restate is the platform for building resilient applications that tolerate all infrastructure faults w/o the need for a PhD.
A modular graph-based Retrieval-Augmented Generation (RAG) system
End-to-end realtime stack for connecting humans and AI
Roo Code gives you a whole dev team of AI agents in your code editor.
Concrete ML: Privacy Preserving ML framework using Fully Homomorphic Encryption (FHE), built on top of Concrete, with bindings to traditional ML frameworks.
Fast Binary Encoding is ultra fast and universal serialization solution for C++, C#, Go, Java, JavaScript, Kotlin, Python, Ruby, Swift
Open Source Data Security Platform for Developers to Monitor and Detect PII, Anonymize Production Data and Sync it across environments.
Mega list of 1 on 1 meeting questions compiled from a variety to sources
PII detection platform, leveraging human-in-the-loop AI
Fully transparent SSH, HTTPS, Kubernetes, MySQL and Postgres bastion/PAM that doesn't need additional client-side software