FormDB Studio v0.1.0 - MVP Preview

FormDB Studio v0.1.0 - MVP Preview

Zero-friction interface for FormDB with dependently-typed FQL.

What's Working

Schema Builder (Complete)

• Visual collection creator with field type picker
• Constraint helpers (min/max for numbers, required for text)
• Live FQLdt code generation and preview
• Copy to clipboard functionality
• Create collection workflow

UI Components (Complete)

• Tab navigation (Schema, Query, Data, Proofs, Normalize)
• Query Builder UI with filters and joins
• Data Entry Panel with provenance tracking
• Proof Assistant UI with tactic reference
• Normalization Panel with FD visualization

Service Status System (New)

• Clear indication of backend service availability
• Feature availability badges
• Informative messages about blocking dependencies

What's Coming

These features are blocked on upstream dependencies:

• FormDB Integration (awaiting FormDB M11 - HTTP API)

  • Query execution
  • Data insertion with provenance
  • Schema normalization with Form.Normalizer

• FQLdt Type Checking (awaiting FQLdt M5 - Zig FFI)

  • Real type validation
  • Proof generation
  • Constraint verification

Downloads

Platform	Package
Debian/Ubuntu	FormDB Studio_0.1.0_amd64.deb
Fedora/RHEL	FormDB Studio-0.1.0-1.x86_64.rpm
Linux (binary)	formdb-studio (from release binary)

Build Prerequisites

• Rust 1.70+
• Node.js 18+
• Linux: webkit2gtk4.1-devel, gtk3-devel, etc.

See README.adoc for full build instructions.