
zkGolf: golf zero-knowledge circuits, verified in Lean
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
完整作品展
技术栈
28 projects

竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256

验证AI代理的决策,然后尝试篡改验证记录。
foh_quarters · HN
Verify what an AI agent did, then tamper with the record (no signup)

免费的网站安全扫描器,检查 SSL、headers 和合规性,提供即时的信任分数和 AI 指导的修复。
@MrPenetratorTP · X
MrPenetrator helps businesses monitor their website’s trust, security and performance before problems affect their visitors.

MailValid 邮箱验证 API,支持实时检查和多层验证,100 次免费。
@sachinbapure · X

使用加密思维签名解密 Claude Sonnet 5 的隐藏推理。
bayes-song · HN
Unlock Claude Sonnet 5's original reasoning

检查AI代理输出和操作是否符合策略,获得批准、拒绝、重写或升级决定。
u/danielbaker06072001 · Reddit
Most AI agent SaaS is just bad security with a nice dashboard Give a new employee access to Stripe, GitHub, Slack, and your CRM on day one, and you’d call it reckless. Give the same access to an AI agent, and we call it “autonomous.” That isn’t innovation. It’s skipping basic security because the demo looks cool. Full disclosure: I’m building TrustLoopGuard around this problem, so I’m obviously biased. While testing one MCP connection, I realized I had decided what the agent could a

Mailthentic 验证邮件地址和检查域名,改善投递率。
@mailthentic · X

用英文描述加密交易策略来回测它们。
@torquant · X
building Torquant. you build and backtest trading/investment strategies using only natural languange

创建您文档的不可变、SHA-256认证的记录。
@BogachyovvA · X
A web app for protecting your documents, files, etc. using hashing. I am also looking for CEOs of companies for cooperation.

JiuRelay 提供免费的 Claude 和 Grok 模型 API 中转服务,无需注册。
@Mysterious9527 · X
自掏腰包开了10个SuperGrok Heavy 号 做了一个号池 随便瞪 网站还有5.2 还有生图

用 Etch 追踪、回放和验证 AI 代理的决策。
u/Funky_Chicken_22 · Reddit
OSS to SaaS positioning problem: when the user persona and the buyer persona are completely disjoint Founder here. Sharing a positioning problem I think a lot of OSS-to-SaaS founders hit and don't talk about publicly. Context: I have been running an OSS project (world-model-mcp) with ~2,500 monthly PyPI installs. Two weeks ago I opened up the hosted companion, Etch, at etch.systems. Launched publicly on Product Hunt at 12:00 PDT yesterday. The positioning problem: OSS user persona: in

粘贴以太坊合约地址检测诈骗和拉盘骗局。
@mik3fly__ · X
Here is mine: Check for scam before being scammed!