Skip to content
Preview.gb@modelscript/genbank 10 diagnostic rules
Parser WASM GLR
Diagnostics 10 rules
DAE Arena Lowering
Simulation Co-sim / Export
Projections SBML, OWL2
Live ExamplepET28a_GFP.gb

GenBank T7-lac GFP Expression Plasmid Map

INSDC GenBank flatfile sequence record with promoter, RBS, His6-GFP coding sequence (CDS), and terminator features.

Playground
Source (19 lines)
1LOCUS       pET28a_GFP               180 bp    DNA     circular SYN 01-JAN-2026
2DEFINITION  Synthetic T7-lac inducible GFP reporter cassette.
3ACCESSION   SYN_GFP_001
4FEATURES             Location/Qualifiers
5     promoter        1..20
6                     /label="T7_promoter"
7     RBS             25..36
8                     /label="ribosome_binding_site"
9     CDS             43..150
10                     /gene="gfp"
11                     /codon_start=1
12                     /product="Green Fluorescent Protein"
13     terminator      155..180
14                     /label="T7_terminator"
15ORIGIN
16        1 taatacgact cactataggg agaccacaac ggtttccctc tagaaataat tttgtttaac
17       61 tttaagaagg agatatacca tgggcagca gccatcatca tcatcatcac agcagcggcc
18      121 tggtgccgcg cggcagccat atggctagct aactagcata accccttggg gcctctaaac
19//
GenBank Annotated Feature Map
transcription translation «promoter 1..20» T7_promoter «parameters» inducible T7-lac RBS = 25..36 «cds 43..150» gfp (CDS) «model» codon_start = 1 His6-GFP fusion «terminator 155..180» T7_terminator «verification» 180 bp circular ORF validated
Drag to pan · Click % to reset

GenBank & FASTA Nucleotide Sequences (.gb, .gbk, .fasta, .fa) ​

@modelscript/genbank (languages/genbank) provides native WebAssembly GLR parsing, NCBI genetic code translation verification, 6-frame Open Reading Frame (ORF) discovery, restriction endonuclease digestion mapping, Codon Adaptation Index (CAI) calculation, DAEBuilder transcriptional/translational lowering, and SBOL3 / Modelica projections for NCBI GenBank and FASTA plasmid, viral, and genomic sequence files.


Supported Extensions & Standards ​

ExtensionFormatDescription
.gb, .gbk, .genbankNCBI GenBank Flat FileAnnotated nucleotide sequence record (LOCUS, DEFINITION, ACCESSION, FEATURES, ORIGIN, //)
.fasta, .fa, .fnaFASTA SequenceMulti-sequence nucleotide or peptide FASTA records (>header)

Key Capabilities ​

1. Annotated Feature Tables & Location Operators ​

  • Parses LOCUS topology (linear / circular), molecular type (DNA, RNA, mRNA), and FEATURES annotations (CDS, promoter, RBS, terminator, gene, rep_origin, misc_feature) with complement(...), join(...), and /translation qualifiers.

2. Sequence Analysis, ORFs, Restriction Maps & CAI ​

  • 6-Frame ORF Finder: Identifies start (ATG, GTG, TTG) to stop (TAA, TAG, TGA) open reading frames across forward and reverse-complement strands.
  • Restriction Enzyme Mapper: Computes cleavage coordinates and fragment lengths for common Type II endonucleases (EcoRI, BamHI, HindIII, NotI, XbaI, SpeI, PstI, BsaI).
  • GC Content, Melting Temperature (Tm) & CAI: Evaluates GC fraction, primer Tm, and E. coli / mammalian codon usage bias.

3. SBOL3, Modelica & DAE Lowering ​

  • Projects annotated CDS, promoter, RBS, and terminator features into SBOL3 genetic circuit components (genbankToSbol), Modelica 3.x gene expression ODEs (genbankToModelica), and @modelscript/runtime's DAEBuilder.

Pre-Flight Diagnostics ​

10 rules8 error2 warning

CodeRuleSeverityMessage
M9351locus-length-mismatcherrorLOCUS '<locus>' declares length '<declaredLength>' bp, but ORIGIN sequence has '<actualLength>' bp.
M9352invalid-sequence-charactererrorSequence '<locus>' contains non-IUPAC character '<invalidChar>' at position '<position>'.
M9353feature-location-out-of-boundserrorFeature '<featureName>' location '[<start>..<end>]' is out of bounds for sequence '<locus>' of length '<seqLength>' bp.
M9354cds-missing-start-codonwarningCoding sequence (CDS) '<cdsName>' begins with '<actualCodon>' instead of a valid start codon ('ATG', 'GTG', or 'TTG').
M9355cds-missing-stop-codonwarningCoding sequence (CDS) '<cdsName>' ends with '<actualCodon>' instead of a valid stop codon ('TAA', 'TAG', or 'TGA').
M9356cds-internal-premature-stoperrorCoding sequence (CDS) '<cdsName>' contains an internal premature stop codon '<stopCodon>' at codon '<codonIndex>'.
M9357cds-translation-mismatcherrorCoding sequence (CDS) '<cdsName>' /translation qualifier '<actualTranslation>' does not match translated sequence '<expectedTranslation>'.
M9358empty-genbank-originerrorGenBank record '<locus>' has an empty or missing ORIGIN nucleotide sequence.
M9359inverted-feature-spanerrorFeature '<featureName>' in non-circular sequence '<locus>' has inverted span '[<start>..<end>]' ('start > end').
M9360duplicate-locus-identifiererrorLOCUS or FASTA identifier '<locus>' is declared multiple times in the document.

Generated from languages/genbank/src/errors.ts. All languages →


CLI Usage ​

bash
# Validate LOCUS length consistency, CDS frame divisibility, and translations
msx lint pUC19_Plasmid.gb

# Parse and inspect GenBank or FASTA records
msx parse pUC19_Plasmid.gb

Open-Core under the GNU AGPL v3 License; Enterprise Edition (ee/) under the ModelScript Enterprise License. • Pricing • Trademark Policy