
Axiom: The 1st Social Platform for Logically Valid Reasoning
Refine ideas through logical reasoning and publish them to a community of verified knowledge.
samcymbaluk · HN
Axiom toolkit – Make your ideas precise enough to be proven wrong
The full gallery
Tech stack
14 projects

Refine ideas through logical reasoning and publish them to a community of verified knowledge.
samcymbaluk · HN
Axiom toolkit – Make your ideas precise enough to be proven wrong

Formala is an AI front desk for your website. It greets every visitor, answers, books appointments into your own calendar, and drops ready-to-call leads in your inbox — 24/7, from
@formalaai · X
is an AI front desk for your website. Answers your visitors, asks the right questions, books the job.

Logiciel de comptabilité conçu autour d’un agent, pas autour de formulaires : tous les cas sont gérés, même atypiques. TVA, Urssaf et clôture préparées et expliquées, vous validez.
@MaPtitePaperass · X
Agentic-first solution for French accounting.

Audit AI-built applications for security vulnerabilities and receive proof of findings.
u/mrtrly · Reddit
I asked ChatGPT 20 different ways who could fix a half-built app. It never named my company once. I do codebase rescue for founders in exactly that spot, so that one stung. There are already plenty of tools that measure this kind of AI visibility, a CDN even ships one free, so I built mine mostly to see my own number, and it confirmed the bad news: near zero. The measuring turned out to be the easy part. What none of the tools do, and what I actually care about, is the fix: getting the mode

Upload and verify credentials with Hedera-backed tamper detection, paying per use.
@iizhem · X
👏 Shipping before vacation is elite. Good luck with your entry! Claude makes vibe coding way too fun. I joined the same bounty too and turned a simple credential checking idea into a full pay-per-use flow

Free website security scanner checking SSL, headers, and compliance for instant trust scores and AI-guided fixes.
@MrPenetratorTP · X
MrPenetrator helps businesses monitor their website’s trust, security and performance before problems affect their visitors.

Visual node-based programming environment for creating GPIO logic and MQTT workflows on ESP32 devices.
@NodeESP · X
- Project for sale

Infrastructure for AI coding agents to coordinate work asynchronously with audit trails.
tyagivivek · HN
Parley – your coding agent can talk to a teammate's agent

Set up uptime, API, SSL, domain, scheduler, and heartbeat monitoring from Claude or Codex, then investigate failures with evidence through Peeko MCP.
@ktat93 · X
A lot of things actually: 1. (qrcode generator - $120mrr) 2. (analytics soon + monitoring) 3. 4. (~10k visitors)

Secure AI agent actions with code checks, permission gates, and approval workflows.
@RElharrak39428 · X

Free security checklist with copy-paste audit prompts for AI-built apps.
@zeeshan4015 · X
You vibe coded it. Now secure it. 🛡️ ShipSecurely — a free security checklist with 1-click audit prompts for Coding agents. Find and fix security vulnerabilities: Just copy paste the prompts to your coding agent and fix critical ones before launching

Automated security audits for GitHub repositories to catch secrets, auth issues, and deployment problems.
@emanueldev4 · X
Building Preflight a simple way to catch issues before your website goes live.