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.

Resumable, verified downloads for large browser files. Fail at 3.8GB, resume from 3.8GB.

ECMAScript verification with SMT solvers

Verify the Apple id token on the server side.

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.

[Deprecated] Typescript-version of the IN3 client.

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

Verified, quality-gated orchestration for GitHub Copilot CLI. Every agent proves its work before anything merges.

🔥 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.

Verified kernels, written in Dafny and compiled to JavaScript, for correct-by-construction state in interactive web applications

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