LeanWarp
Verified · 3 days agoCheck and verify Lean 4 proofs on hosted, warm Lean and Mathlib workers.
Check and verify Lean 4 proofs on hosted, warm Lean and Mathlib workers.
Free VAT, pricing, quote, VietQR and referral commission tools for Vietnamese businesses.
Read-only packet capture analysis with tshark: Diameter, GTP, SIP, RTP, SIGTRAN, DNS, TCP and TLS.
Argentina's official statistics (INDEC): inflation, wages, poverty, trade, population. No signup.
On-chain receipts, balances, tx status and address activity, pay-per-call via x402 USDC on Base.
Free LEI & SEC company lookups; SEC insider trades & filings, House trades, DoD contracts, EU data
Citizen ratings of US officials and candidates, plus ballots, contact tools and donor-profile prep.
Public local AI visibility data, owner-confirmed business factsheets, and newsrooms.
On-call burnout analysis: team risk summaries, at-risk responders, daily health trends.
Current time in any time zone, and conversion of a date-time between zones.
Zero-auth FPL expected minutes, captains & transfers, plus Premier League lineups & stats.
Moyne Ross research on commercial property capital, and a technical library of building elements.
Medicine shortages (Infarmed) and pharmacies on duty or open now in Portugal.
Portugal's national health service open data: hospitals, emergency and waiting times.
Thai visa rules, eligibility checks, 90-day reports, immigration offices and places to live.
AI governance obligations in Australia and Singapore, by source tier and use case. No key needed.
MCP server for Time Doctor's employee time-tracking API — companies, users, projects, and stats.
MCP server for Ubiquiti UniFi's Cloud Site Manager API.
MCP server for WatchGuard Cloud's account, activation, and operator APIs.
Find indie-made tools and alternatives to big-name software. 1,500+ products. Logs unmet needs.