p2p-kraudfanding-qrsmxgz11
kuda-investirovat-vygodnee-vsego-dengi-hd13sz6zq
kupit-aktsii-apple-3gbl7lgtm
kak-perevesti-so-spotovogo-koshelka-na-p2p-binans-sb5mwvz5z
Zero-dependent network management solution.
Integration helpers for Ophis (a CoW Protocol fork): correct orderbook hosts, the CIP-75 partner-fee appData fragment, the per-chain EIP-712 signing domain, and order receiver-safety guards.
Neurosymbolic code formalization — lift any codebase into logical facts and verify properties with Prolog/Datalog. Standalone, language-agnostic, points at any project.
Get Engineering Done: structured agentic workflows for engineering programs
WebAssembly bindings for the SMPLX basic OLIV example builders.
The verification layer for the AI-coding era. Finds the money, quantity, rounding, and date bugs that AI writes and LLM code-reviewers miss — and hands you the exact input that breaks your code.
Solving a quadratic equation
Captcha-solver adapter interface plus a reference 2captcha adapter. No bundled credentials — consumer supplies the API key.
Adversarial benchmark framework for auditing model failure modes and documenting corrections.