Autonomous Web3 security audit agent for Claude Code

An agentic skills framework & software development methodology that works.

FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications

Open framework for confidential AI

✨ Awesome - A curated list of amazing Homomorphic Encryption libraries, software and resources

Iceberg rebuild with CoFhe workflow

Molecule Design by Latent Prompt Transformer, NeurIPS 2024 (Spotlight)

An AI-powered task-management system you can drop into Cursor, Lovable, Windsurf, Roo, and others.

280+ free n8n automation templates — ready-to-use workflows for Gmail, Telegram, Slack, Discord, WhatsApp, Google Drive, Notion, OpenAI, and more. AI agents, RAG chatbots, email automation, social …

Perform data science on data that remains in someone else's server

Animation engine for explanatory math videos

Audits performed by Solidified

Helper functions for saving text in Keychain securely for iOS, OS X, tvOS and watchOS.

Observations and tips checklist for auditing protocols on multiple chains 🧐

Rust library to read, manipulate and write PDF files.

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Build your zkp app with typescript, hardhat, circom, and snarkjs!

Aggregator for amazing ZKML resources

Everscale/Venom Virtual Machine implementation in Rust

TVM linker takes TVM assembly source code of TVM smart contract, compiles it and links its parts, adds standard selector and runtime and stores it into binary TVC file

The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve

Yoru Smart Contracts

A circuit to verify the voice recovery process.

AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.