Hacker News new | ask | show | jobs
Show HN: Math-spec-driven LLM skill for complex system specs (github.com)
1 points by ben8t 130 days ago
Natural language is often ambiguous. Writing code directly with LLMs can be brittle and hard to verify. This skill explores a middle ground: math-style specs (sets, relations, invariants) that agents can turn into architectures, APIs, and tests.