LexCompiler
Neuro-Symbolic Law-to-AST Compiler, Microsoft Z3 Formal Verifier, 12-MCP Suite, Contextual+Graph RAG, and Autonomous PR Enforcer (JusticeSphere AI / ComplianceOS)
BitsExplorer finds what people are building with AI, every day. See today's picks →
Basal-1.5 Demo & API
Demo and API of basal-1.5 by Remek Kinas.
Description excerpted from the original listing, which is linked below.
Site2mcp
Turn any website into an MCP server your AI agents can call: record a browser session (HAR), get OpenAPI 3.1, a typed Python client and an MCP server.
Agentic RAG — Live Demo
This free static Hugging Face Space displays the existing live application running on Render.
Agentic Workflow
Rules, hooks and agent tiers for agentic coding harnesses: enforce the workflow, keep the bill proportional. Ports to Claude Code, Codex, Gemini CLI, Antigravity.
Mock tests, practice and study notes for CAT, bank, SSC, railway, GMAT and GRE exams | Prepalot
Full and benchmark mock tests in the official pattern, subtopic practice and study notes for CAT, XAT, SNAP, NMAT, GMAT, GRE, Digital SAT, IBPS and SBI PO and Clerk, bank Local Bank Officer exams, SSC CGL, CHSL, MTS, GD and CPO, and RRB NTPC.
DAILY ROM — Four puzzles. One a day.
One daily puzzle from each of four games. No account, no install, no friction.
Otome: or Not by CoffeeMist
A meta mystery visual novel disguised as a romance game
Smartthings Pc Control
Control Windows PC power from SmartThings & Telegram: Windows service + tray app with its own SmartThings Edge driver. Shutdown, restart, sleep, hibernate, lock, Wake-on-LAN, grace period, scheduling, notifications. SmartThings·텔레그램 Windows PC 전원 제어
The week in AI-built software
Every Monday: how many projects were built with AI that week, which tools built them, where they came from, and the week's picks.
Read the latest week