An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Source code verification service for Ethereum smart contracts

A boilerplate for Node.js apps / Rest API / Authentication from scratch - express, mongodb (mongoose). Typescript

TLA+ language support for Visual Studio Code

Reference mobile app for BrightID

Advanced custom authentication for Next.js applications with Auth.js V5. Authentication with providers and credentials.

ECMAScript verification with SMT solvers

Verify the Apple id token on the server side.

[Deprecated] Typescript-version of the IN3 client.

This AI fact-checking system, built with LangGraph, dissects text into verifiable claims, cross-referencing them with real-world evidence via web searches. It then generates detailed accuracy reports, ideal for combating misinformation in LLM outputs, news, or any text.

An NPM package to generate captcha images that can be used in Discord bots or various other projects

🔥 hCaptcha Component for Angular

🧬 Check if a user owns the specific item(s) in their Steam library and give them roles! Discord bot and API.

✅ Generate functional tests automatically from your Agile specification

Test Case Generator Based on Branch Coverage and Fuzzing

VS Code extension for STPA-based risk analyses with interactive diagrams and integrations for fault trees, safe-by-construction behavior model generation, and verification.

VS Code extension to verify Rust programs with the Prusti verifier.

A node.js package for discord.js to detect the trust level of a user. Made for detecting alt-accounts

Formal verification for TypeScript

EveryCRED Verifier JS is a JavaScript library designed for verifying EveryCRED credentials according to the W3C credentials standard. It provides robust on-chain and off-chain verification capabilities, enhancing security and transparency in credential verification processes.