Clean-Room Spec Search
← BinCompSemantic search over the clean-room behavioral specs. Find functions by describing what they do, not by name.
Try queries like:
compute SVD decompositionparse a JSON file from disksend a POST request with retriesReact component that fetches data on mountvalidate input against a schemaiterate over a directory tree
Search runs over the entire clean_specs corpus (228k+ specs) using sentence-transformers MiniLM embeddings + pgvector HNSW. Held-out test repos are excluded by default.