社交社区1 month ago
Axiom: The 1st Social Platform for Logically Valid Reasoning
使用 Axiom 通过逻辑推理完善想法并发布到社区。
samcymbaluk · HN
Axiom toolkit – Make your ideas precise enough to be proven wrong
完整作品展
技术栈
15 projects
使用 Axiom 通过逻辑推理完善想法并发布到社区。
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.
为小团队设计的人工智能合规工作台,帮助准备SOC 2审计。
@polsia · X
Vibe-coding your way to a SOC 2 audit in record time. ProofCairn is the AI compliance desk that makes sure you don't show up with hardcoded keys in your pocket.
审计AI应用的安全漏洞，获取完整检测报告。
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
上传凭证验证，由Hedera区块链保护，按次付费。
@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
免费的网站安全扫描器，检查 SSL、headers 和合规性，提供即时的信任分数和 AI 指导的修复。
@MrPenetratorTP · X
MrPenetrator helps businesses monitor their website’s trust, security and performance before problems affect their visitors.
NodeESP是ESP32的可视化编程工具，通过节点拖拽创建GPIO逻辑和MQTT工作流。
@NodeESP · X
- Project for sale
AI 编码代理协调基础设施，支持异步交接和审计跟踪。
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)
VibeLint 为 AI 代理提供代码检查、权限控制和审批工作流。
@RElharrak39428 · X
ShipSecurely — AI应用安全审计清单，包含可复制的编码代理提示。
@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