Skills.lc — AI 技能、Prompt、工作流和 Agent 分享平台，帮助发现和沉淀 AI 使用经验

@_m3rl1n

u/Hopeful-Can-1540 · Reddit

Trying to figure out distribution for a real-time collaboration tool LiveShareIt has been around for a bit, and the product has changed quite a lot recently. The basic idea is pretty simple: open a room, share the link, and start working together. No signup needed. People can share code/text, send files, use a collaborative whiteboard, and jump on a video call in the same room. One feature I’ve been playing with lately is the AI whiteboard. Instead of starting from a blank canvas, you

@durdom_evm · X

Chinese team at just dropped ZCode 3.0 and it's quietly reshaping the agentic coding landscape while everyone's waiting on Anthropic's roadmap here's what matters: GLM-5.2 is trading blows with Opus 4.8 on the benchmarks that actually count. 81.0 vs 85.0

@ankushKun_ · X

Hi, we're building @use_construct , an autonomous cloud comouter that works for your business.

vpetroff · HN

CobaltCode – Dedicated persistent computer for Codex

jayaprabhakar · HN

I've been building an open source formal methods system (fizzbee.io) for the past few years. Today I'm launching a new app built on the same technology. It performs requirements engineering using formal verification to uncover gaps and produce precise instructions for your coding agents to follow. When given a prompt, it - asks high signal follow-up questions - converts to formal spec and identifies complex requirements gaps - generates validation scenario At the end, it produces a specification document that can be shared with coding agents. In my trials on various projects, it produces working code in fewer iterations. Please give it a try and share your feedback. https://fizzbee.ai/ You can also look at a sample project. https://fizzbee.ai/projects/94bf2869-97a1-445c-8f5d-4445848b...